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