Tiago, D. G.; Pires, D. C. de A. F.; Virgilio, R. da C.; Azevedo, J. A. D. Verificação Automatizada De Requisitos De Geometria Em Projetos De Novas Ferrovias Com utilização De IA Generativa. SBTIC 2025, 5.