Formal Methods for Software Engineering : Languages, Methods, Application Domains - Roggenbach, Markus; Cerone, Antonio; Schlingloff, Bernd-Holger; Schneider, Gerardo; Shaikh, Siraj Ahmed (Cham Springer International Publishing AG, 2022)