Formal Methods and Stochastic Models for Performance Evaluation Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006. Proceedings - Horváth, András; Telek, Miklós (Springer Berlin Heidelberg, 2006)