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>Proceedings of the 15th Brazilian Symposium on Software Engineering</em>, (pp. 316-331). Porto Alegre: SBC.
doi:10.5753/sbes.2001.23997