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