Formal Methods: Foundations and Applications - Gustavo Carvalho, Volker Stolz (Springer, 2020)