Boaventura, Inês, and Paulo C. Masiero.
" Execução Exaustiva de Statecharts." <em>Anais do VI Simpósio Brasileiro de Engenharia de Software,
Gramado/RS, 1992</em>. SBC, 1992,  
pp.143-150.