Francês, Carlos, 		Santana, Marcos, 		Vijaykumar, Nandamudi, 		Carvalho, Solon, E 		Santana, Regina.
" Statecharts Estocásticos e Queuing Statecharts: Novas Abordagens para Avaliação de Desempenho Baseadas em Especificação Statecharts" <em>Anais do Simpósio Brasileiro de Engenharia de Software (SBES)</em> [Online], (3 outubro 2001)