Execucao programada de statecharts - Cangussu, J W; Masiero, Paulo Cesar; Maldonado, José Carlos (Revista Brasileira de Computacao, 1994)