Fig. 3
From: Generation of fault-tolerant state-based communication schedules for real-time systems

Global replay bound for checkpoints
From: Generation of fault-tolerant state-based communication schedules for real-time systems
Global replay bound for checkpoints