Carlos Renato Francês, Nandamudi Vijaykumar, Marcos José Santana, Solon Venâncio Carvalho, and Regina Helena Santana. 2000.
 Stochastic Extension to Statecharts for representing performance models: an application to a file system. In <em>Anais do XII Symposium on Computer Architecture and High Performance Computing</em>, outubro 24, 2000, São Pedro/SP, Brasil. SBC, Porto Alegre, Brasil, 365-372. DOI: <a href="https://doi.org/10.5753/sbac-pad.2000.41236">https://doi.org/10.5753/sbac-pad.2000.41236</a>.