Í. Guedes, M. Andrade, A. Rolim, E. Neri, M. Cavalcanti, and R. Gabrielle, “Estrutura conceitual para verificação automatizada de requisitos em projetos aeroportuários no Brasil”, in 4th Portuguese Congress on Building Information Modelling’ vol. 2 - ptBIM, M. Azenha, J. C. Lino, J. Granja, B. Figueiredo, and J. P. Martins, Eds. UMinho Editora, 2022. doi: 10.21814/uminho.ed.77.16.