Formal methods and stochastic models for performance evaluation by EPEW 2007 (2007 Berlin, Germany) | Menrva Books