Francês, Carlos Renato, Nandamudi Lankalapalli Vijaykumar, Marcos José Santana, Solon Venâncio de Carvalho, and Regina Helena Carlucci Santana.
" Stochastic Extension to Statecharts for representing performance models: an application to a file system." <em>Anais do XII Symposium on Computer Architecture and High Performance Computing,
São Pedro/SP, 2000</em>. SBC, 2000,  
pp.365-372.