Email Record: Modeling fault tolerance and testing for complex digital systems /