Automatização parcial da verificação regulamentar de projetos de edificação para efeitos de licenciamento municipal urbanístico: proposta, implementação e aplicação piloto Artigo de Conferência