Terra, Ricardo, E 		Valente, Marco.
" Verificação Estática de Arquiteturas de Software utilizando Restrições de Dependência" <em>Anais do Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software (SBCARS)</em> [Online], (20 agosto 2008)