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