Software Engineering and Formal Methods - Hierons, Robert; Merayo, Mercedes G.; Bravetti, Mario (Springer Berlin Heidelberg, 2013)