Reliability analysis of real-time controllers with dual-modular temporal redundancy | IEEE Conference Publication | IEEE Xplore