Fig. 4From: Generation of fault-tolerant state-based communication schedules for real-time systemsReplay bound for checkpointsBack to article page