Text this: Formal methods and stochastic models for performance evaluation :