Fig. 1From: Generation of fault-tolerant state-based communication schedules for real-time systemsFault modelBack to article page