Examples are specified at: "Examples.Clock".
A StateGraph2 model has a finite number of clocks. A clock models the elapsing of time during the execution of a system. Time elapses continuously, not in discrete steps. A clock can be reset to zero when it's input port u. The time value represented by a clock is relative to the last point in time when the clock has been reset.