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