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. (Springer Berlin Heidelberg : Imprint: Springer, 2006)