∅ = Y
Y = ∅
∅ = Z
Z = ∅
Trigger: geq(time, 10)
Delay:
Assignments:
Trigger: geq(time, 15)
Delay:
Assignments:
Trigger: geq(time, 3.5)
Delay:
Assignments:
Trigger: geq(time, 3)
Delay:
Assignments:
Note that constraints are not enforced in simulations. It remains the responsibility of the user to verify that simulation results satisfy these constraints.