Francês, C., 		Vijaykumar, N., 		Santana, M., 		Carvalho, S., & 		Santana, R.
(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>, (pp. 365-372). Porto Alegre: SBC.
doi:10.5753/sbac-pad.2000.41236