Software Engineering and Formal Methods - Antonio Cerone, Marco Roveri (Springer, 2018)