Text this: Formal methods for performance evaluation :