Formal Methods for Software Engineering : Languages, Methods, Application Domains - Roggenbach, Markus. (Springer International Publishing AG, 2022)