Text this: Robust Fault Models Where Undetectable Faults Imply Logic Redundancy.