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