Marcio Dias, Marlon Vieira, and Debra Richardson. 2001.
 Analyzing Software Architecture Based on Statechart Semantics. In <em>Proceedings of the 15th Brazilian Symposium on Software Engineering</em>, October 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>.