Francês, C., 		Vijaykumar, N., 		Santana, M., 		Carvalho, S., & 		Santana, R.
2000 out 24.  Stochastic Extension to Statecharts for representing performance models: an application to a file system. Anais do International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD). [Online] :