Software Engineering and Formal Methods - Cimatti (Springer International Publishing, 2017)