Tyrrell, A.M., Bass, J.M., "Testing fault-tolerant systems using a unified error model", , 1997