Fault-Tolerant Real-Time Systems