Formal Methods: Foundations and Applications - Massoni; Mohammad Reza Mousavi; Mousavi, Mohammad Reza (Springer International Publishing, 2018)