Software engineering and formal methods SEFM 2019 collocated workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA Oslo, Norway, September 16-20, 2019 : revised selected papers - Camara, Javier (Lecture notes in computer science, 2020)