Formal Methods: Foundations and Applications - Cavalheiro; Fiadeiro, José (Springer International Publishing, 2017)