Proposta de um sistema para verificação automatizada de requisitos em Empreendimentos Habitacionais de Interesse Social - Guilherme von der Heyde Fernandes (2014)