Marcio Dias, Marlon Vieira, and Debra Richardson. 2001.
 Analyzing Software Architecture Based on Statechart Semantics. In <em>Anais do XV Simpósio Brasileiro de Engenharia de Software</em>, outubro 03, 2001, Rio de Janeiro/RJ, Brasil. SBC, Porto Alegre, Brasil, 116-131. DOI: <a href="https://doi.org/10.5753/sbes.2001.23984">https://doi.org/10.5753/sbes.2001.23984</a>.