Ricardo Terra and Marco Valente. 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>, agosto 20, 2008, Porto Alegre/RS, Brasil. SBC, Porto Alegre, Brasil, 24-37. DOI: <a href="https://doi.org/10.5753/sbcars.2008.46220">https://doi.org/10.5753/sbcars.2008.46220</a>.