Barcelos, Katia Alves, e Eduardo Luís Isatto. “Verificação automática De Conformidade: A Busca Da síntese Nos Requisitos”. SIMPÓSIO BRASILEIRO DE GESTÃO E ECONOMIA DA CONSTRUÇÃO, vol. 14, setembro de 2025, doi:10.46421/sibragec.v14i.7804.