MARQUES, C. A. N. et al. Linguagens e ferramentas utilizadas na especificação formal de software: uma revisão de escopo. Revista Principia, v. 62, 6 Feb.2025.