Inês Boaventura and Paulo Masiero. 1992.
 Execução Exaustiva de Statecharts. In <em>Proceedings of the 6th Brazilian Symposium on Software Engineering</em>, November 04, 1992, Gramado/RS, Brasil. SBC, Porto Alegre, Brasil, 143-150. DOI: <a href="https://doi.org/10.5753/sbes.1992.25180">https://doi.org/10.5753/sbes.1992.25180</a>.