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