Formal Methods and Stochastic Models for Performance Evaluation : Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006, Proceedings - András Horváth, Miklós Telek ((Lecture Notes in Computer Science))