Byung Kook Kim: Reliability Analysis of Real-Time Controllers with Dual-Modular Temporal Redundancy. RTCSA 1999: 364-