Boaventura, I., & 		Masiero, P.
1992 Nov  4.  Execução Exaustiva de Statecharts. Proceedings of the Brazilian Symposium on Software Engineering (SBES). [Online] :