Design-for-Diversity for Improved Fault-Tolerance of TMR Systems on FPGAs | IEEE Conference Publication | IEEE Xplore