Terra, R., & 		Valente, M.
(2008).
 Verificação Estática de Arquiteturas de Software utilizando Restrições de Dependência.
In <em>Anais do II Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software</em>, (pp. 24-37). Porto Alegre: SBC.
doi:10.5753/sbcars.2008.46220