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; Steffen, Martin 1965- (Programming and software engineering, 2020)