Braga, T., Maia, M., & Bigonha, R. (2008). Recovering and checking software architectural properties based on execution tree analysis. In Proceedings of the 2nd Brazilian Symposium on Software Components, Architectures, and Reuse, (pp. 10-23). Porto Alegre: SBC. doi:10.5753/sbcars.2008.46267