Software Engineering and Formal Methods - Giannakopoulou (Springer International Publishing, 2014)