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