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