Software engineering and formal methods. SEFM 2017 collocated workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4--5, 2017. Revised selected papers
scientific article; zbMATH DE number 6839683