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