We may specify time constraints such as:

  • The point in time for event occurrence.
    • Relative: after(5sec)
    • Absolute: at(12.00)
  • Time period between two events:
    • {lower..upper}