Boaventura, Inês, E 		Masiero, Paulo.
" Execução Exaustiva de Statecharts" <em>Anais do Simpósio Brasileiro de Engenharia de Software (SBES)</em> [Online], (4 novembro 1992)