Terra, Ricardo, and Marco Túlio Valente.
" Verificação Estática de Arquiteturas de Software utilizando Restrições de Dependência." <em>Anais do II Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software,
Porto Alegre/RS, 2008</em>. SBC, 2008,  
pp.24-37.