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