Formal Methods: Foundations and Applications - Sidney C. Nogueira; Teodorov, Ciprian (Springer Nature Switzerland, 2025)