Francês, Carlos Renato, 		Vijaykumar, Nandamudi, 		Santana, Marcos José, 		Carvalho, Solon Venâncio, E 		Santana, Regina Helena.
" Stochastic Extension to Statecharts for representing performance models: an application to a file system" <em>Anais do International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD)</em> [Online], (24 outubro 2000)