Francês, C., Santana, M., Vijaykumar, N., Carvalho, S., & Santana, R. 2001 out 3. Statecharts Estocásticos e Queuing Statecharts: Novas Abordagens para Avaliação de Desempenho Baseadas em Especificação Statecharts. Anais do Simpósio Brasileiro de Engenharia de Software (SBES). [Online] :