Barcelos, K. A.; Isatto, E. L. Verificação automática De Conformidade: A Busca Da síntese Nos Requisitos. SIBRAGEC 2025, 14.