TMR Triple‑Modular Redundant Version