Software Engineering and Formal Methods - Steve Counsell, Manuel NÃºÃ±ez; Núñez, Manuel (Springer International Publishing, 2014)