I. Boaventura and P. Masiero.
" Execução Exaustiva de Statecharts", in <em>Anais do VI Simpósio Brasileiro de Engenharia de Software</em>, Gramado/RS, 1992, pp. 143-150, doi: <a href="https://doi.org/10.5753/sbes.1992.25180">https://doi.org/10.5753/sbes.1992.25180</a>.