Dias, M., Vieira, M., & Richardson, D. 2001 out 3. Analyzing Software Architecture Based on Statechart Semantics. Anais do Simpósio Brasileiro de Engenharia de Software (SBES). [Online] :