Software Engineering and Formal Methods - Alessandro Cimatti, Marjan Sirjani (Springer, 2017)