Boaventura, Inês, and Paulo C. Masiero.
" Execução Exaustiva de Statecharts." <em>Proceedings of the 6th Brazilian Symposium on Software Engineering,
Gramado/RS, 1992</em>. SBC, 1992,  
pp.143-150.