Formal Methods and Software Engineering - Yamine Ait-Ameur, Shengchao Qin (Springer, 2019)