Scheduling Considerations for Voter Checking in TMR-MER Systems | IEEE Conference Publication | IEEE Xplore