C. Francês, M. Santana, N. Vijaykumar, S. Carvalho, and R. Santana.
" 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>, Rio de Janeiro/RJ, 2001, pp. 316-331, doi: <a href="https://doi.org/10.5753/sbes.2001.23997">https://doi.org/10.5753/sbes.2001.23997</a>.