Dias, Marcio, 		Vieira, Marlon, E 		Richardson, Debra.
" Analyzing Software Architecture Based on Statechart Semantics" <em>Anais do Simpósio Brasileiro de Engenharia de Software (SBES)</em> [Online], (3 outubro 2001)