Text this: Modeling fault tolerance and testing for complex digital systems /