Figure:
Pseudo-timers
to express duration constraints
Open figure