Formal Methods: Foundations and Applications - Ribeiro; Lecomte, Thierry (Springer International Publishing, 2016)