Transient and permanent fault diagnosis for FPGA-based TMR systems | IEEE Conference Publication | IEEE Xplore