Formal Methods for Software Engineering: languages, methods, application domains - Roggenbach, Markus (Switzerland: Springer, 2022)