On-line testing and recovery in TMR systems for real-time applications | IEEE Conference Publication | IEEE Xplore