Automated design flow for applying Triple Modular Redundancy (TMR) in complex digital circuits | IEEE Conference Publication | IEEE Xplore