K. A. Barcelos e E. L. Isatto, “Verificação automática de conformidade: a busca da síntese nos requisitos”, SIBRAGEC, vol. 14, set. 2025.