C. Francês, N. Vijaykumar, M. Santana, S. Carvalho, and R. Santana.
" 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>, São Pedro/SP, 2000, pp. 365-372, doi: <a href="https://doi.org/10.5753/sbac-pad.2000.41236">https://doi.org/10.5753/sbac-pad.2000.41236</a>.