Software Engineering and Formal Methods - Johnsen (Springer International Publishing, 2018)