Dias, Marcio, 		Vieira, Marlon, AND 		Richardson, Debra.
" Analyzing Software Architecture Based on Statechart Semantics" <em>Proceedings of the Brazilian Symposium on Software Engineering (SBES)</em> [Online], (3 October 2001)