Slide 20 of 23
Time constraints may make use of the time observations done earlier in the trace.
Here the time variable of AccessPoint “t” is used in later constraints. This means that the measurement of how long a message took earlier is used to control requirements for time later on.
Time values are of course also used to intialized timers. (not shown here)