Formal Methods and Software Engineering - Zhenhua Duan, Luke Ong (Springer, 2017)