Statecharts Estocásticos e Queuing Statecharts: Novas Abordagens para Avaliação de Desempenho Baseadas em Especificação Statecharts.
Carlos Renato Lisboa FrancêsMarcos José SantanaNandamudi Lankalapalli VijaykumarSolon Venâncio de CarvalhoRegina Helena Carlucci SantanaPublished in: SBES (2001)