Integrated Formal Methods - Johnsen (Springer Berlin Heidelberg, 2013)