Email Record: Probabilistic analysis of distributed fault-tolerant systems /