Boaventura, I., & 		Masiero, P.
1992 nov  4.  Execução Exaustiva de Statecharts. Anais do Simpósio Brasileiro de Engenharia de Software (SBES). [Online] :