Formal Methods and Software Engineering - Ait-Ameur; Qin, Shengchao (Springer International Publishing, 2019)