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, 1974-; Telek, Miklós (Lecture notes in computer science ;, 2006)