Boaventura, Inês, AND 		Masiero, Paulo.
" Execução Exaustiva de Statecharts" <em>Proceedings of the Brazilian Symposium on Software Engineering (SBES)</em> [Online], (4 November 1992)