Formal Methods and Software Engineering - Jing Sun, Meng Sun (Springer, 2018)