M. Dias, M. Vieira, and D. Richardson.
" Analyzing Software Architecture Based on Statechart Semantics", in <em>Anais do XV Simpósio Brasileiro de Engenharia de Software</em>, Rio de Janeiro/RJ, 2001, pp. 116-131, doi: <a href="https://doi.org/10.5753/sbes.2001.23984">https://doi.org/10.5753/sbes.2001.23984</a>.