Email Record: Model-based Fault Diagnosis Techniques