Software Engineering and Formal Methods - Rocco De Nicola, Eva Kühn (Springer International Publishing, 2016)