Trace data characterization and fitting for Markov modeling 2010 (1) G Casale, EZ Zhang, E Smirni, Trace data characterization and fitting for Markov modeling, PERFORMANCE EVALUATION, volume 67, pp.61–79, 2010