Software Engineering and Formal Methods - Einar Broch Johnsen, Ina Schaefer (Springer, 2018)