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>Anais do XV Simpósio Brasileiro de Engenharia de Software,
Rio de Janeiro/RJ, 2001</em>. SBC, 2001,  
pp.316-331.