Formal Methods and Software Engineering - Groves (Springer Berlin Heidelberg, 2013)