Carlos Francês, Marcos Santana, Nandamudi Vijaykumar, Solon Carvalho, and Regina Santana. 2001.
 Statecharts Estocásticos e Queuing Statecharts: Novas Abordagens para Avaliação de Desempenho Baseadas em Especificação Statecharts. In <em>Anais do XV Simpósio Brasileiro de Engenharia de Software</em>, outubro 03, 2001, Rio de Janeiro/RJ, Brasil. SBC, Porto Alegre, Brasil, 316-331. DOI: <a href="https://doi.org/10.5753/sbes.2001.23997">https://doi.org/10.5753/sbes.2001.23997</a>.