Formal Methods: Foundations and Applications - Cavalheiro (Springer International Publishing, 2017)