From: Generation of fault-tolerant state-based communication schedules for real-time systems
Time
a
b
c
d
e
t 1−t 0
T x
Ï•
t 2−t 1
t 3−t 2