Formal Methods: Foundations and Applications - Braga; Martí-Oliet, Narciso (Springer International Publishing, 2015)