.RealTimeCoordinationLibrary.UsersGuide.Elements.ClockConstraint .RealTimeCoordinationLibrary.UsersGuide.Elements.ClockConstraintExamples are specified at: "Examples.ClockConstraint".
A clock constraint might be any kind of inequation specifying a bound on a certain clock, e.g., c > 2, c >= 5, c < 2, c <= 5, where c is a Clock. Clock constraints are assigned to transitions in order to restrict the time span in which a transition is allowed to fire.
