FERNANDES, Guilherme von der Heyde; FORMOSO, Carlos Torres; TZORTZOPOULOS-FAZENDA, Patrícia. Método para verificação automatizada de requisitos em empreendimentos Habitacionais de Interesse Social. Ambiente Construído, [S. l.], v. 18, n. 4, p. 259–278, 2018. Disponível em: https://seer.ufrgs.br/index.php/ambienteconstruido/article/view/74467. Acesso em: 10 ago. 2026.