Dias, Marcio, Marlon Vieira, and Debra Richardson.
" Analyzing Software Architecture Based on Statechart Semantics." <em>Anais do XV Simpósio Brasileiro de Engenharia de Software,
Rio de Janeiro/RJ, 2001</em>. SBC, 2001,  
pp.116-131.