Dias, Marcio, Marlon Vieira, and Debra Richardson.
" Analyzing Software Architecture Based on Statechart Semantics." <em>Proceedings of the 15th Brazilian Symposium on Software Engineering,
Rio de Janeiro/RJ, 2001</em>. SBC, 2001,  
pp.116-131.