Software Engineering and Formal Methods - Cerone, Antonio (Springer International Publishing, 2020)