Francês, Carlos, Marcos José Santana, Nandamudi Lankalapalli Vijaykumar, Solon Venâncio de Carvalho, and Regina Helena Carlucci Santana.
" Statecharts Estocásticos e Queuing Statecharts: Novas Abordagens para Avaliação de Desempenho Baseadas em Especificação Statecharts." <em>Proceedings of the 15th Brazilian Symposium on Software Engineering,
Rio de Janeiro/RJ, 2001</em>. SBC, 2001,  
pp.316-331.