BRAGA, Thiago H.; MAIA, Marcelo de A.; BIGONHA, Roberto da S.. Recovering and checking software architectural properties based on execution tree analysis. In: SIMPÓSIO BRASILEIRO DE COMPONENTES, ARQUITETURAS E REUTILIZAÇÃO DE SOFTWARE (SBCARS), 2. , 2008, Porto Alegre/RS. Anais [...]. Porto Alegre: Sociedade Brasileira de Computação, 2008 . p. 10-23. DOI: https://doi.org/10.5753/sbcars.2008.46267.