C. A. N. Marques, M. A. F. da Silva, J. L. S. de Andrade, and A. F. Milanez, “Linguagens e ferramentas utilizadas na especificação formal de software: uma revisão de escopo”, Rev. Principia, vol. 62, Feb. 2025, doi: 10.18265/2447-9187a2024id8404.