Formal Methods and Software Engineering - Duan, Zhenhua (Springer International Publishing, 2020)