Time triple modular redundancy