Email Record: Formal methods and stochastic models for performance evaluation :