Masci, Paolo2023-04-242023-04-242023978-3-031-26235-7978-3-031-26236-4978-3-031-26237-1https://publica.fraunhofer.de/handle/publica/44044010.1007/978-3-031-26236-4enSoftware Engineering and Formal Methods. SEFM 2022 Collocated Workshops