Francês, C., 		Santana, M., 		Vijaykumar, N., 		Carvalho, S., & 		Santana, R.
(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>, (pp. 316-331). Porto Alegre: SBC.
doi:10.5753/sbes.2001.23997