J. Cangussu, P. Masiero, and J. Maldonado. " Execução Programada de Statecharts", in Anais do VII Simpósio Brasileiro de Engenharia de Software, Rio de Janeiro/RJ, 1993, pp. 151-165, doi: https://doi.org/10.5753/sbes.1993.24402.