Software Engineering and Formal Methods - Javier Camara, Martin Steffen (Springer, 2020)