Braga, Thiago, Marcelo de A. Maia, and Roberto da S. Bigonha.
" Recovering and checking software architectural properties based on execution tree analysis." <em>Anais do II Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software,
Porto Alegre/RS, 2008</em>. SBC, 2008,  
pp.10-23.