Fernandes, G. von der H.; Formoso, C. T.; Tzortzopoulos-Fazenda, P. Método Para verificação Automatizada De Requisitos Em Empreendimentos Habitacionais De Interesse Social. Amb. Const. 2018, 18, 259-278.