Email Record: The art of fault-tolerant system reliability modeling /