FPGA-based reliable TMR controller design for S2A architectures | IEEE Conference Publication | IEEE Xplore