FPGA-based design of a self-checking TMR voter | IEEE Conference Publication | IEEE Xplore