Terra, R., & 		Valente, M.
2008 ago 20.  Verificação Estática de Arquiteturas de Software utilizando Restrições de Dependência. Anais do Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software (SBCARS). [Online] :