Email Record: Formal methods for performance evaluation :