Email Record: Analysis and design of algorithm-based fault-tolerant systems /