Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops : AI4EA, F-IDE, Cosim-CPS, CIFMA, Berlin, Germany, September 26-30, 2022, Revised Selected Papers - Masci, Paolo; Bernardeschi, Cinzia; Graziani, Pierluigi; Koddenbrock, Mario; Palmieri, Maurizio (Cham Springer International Publishing AG, 2023)