Formal Methods: Foundations and Applications - Massoni (Springer International Publishing, 2018)