Cangussu, João, Paulo Cesar Masiero, and José Carlos Maldonado. " Execução Programada de Statecharts." Anais do VII Simpósio Brasileiro de Engenharia de Software, Rio de Janeiro/RJ, 1993. SBC, 1993, pp.151-165.