R. Terra and M. Valente.
" 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>, Porto Alegre/RS, 2008, pp. 24-37, doi: <a href="https://doi.org/10.5753/sbcars.2008.46220">https://doi.org/10.5753/sbcars.2008.46220</a>.