Formal Methods: Foundations and Applications - Sérgio Campos, Marius Minea (Springer, 2021)