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] :