Francês, Carlos, 		Santana, Marcos, 		Vijaykumar, Nandamudi, 		Carvalho, Solon, AND 		Santana, Regina.
" Statecharts Estocásticos e Queuing Statecharts: Novas Abordagens para Avaliação de Desempenho Baseadas em Especificação Statecharts" <em>Proceedings of the Brazilian Symposium on Software Engineering (SBES)</em> [Online], (3 October 2001)