An OrderConstraint imposes an order between the occurrences of an event called source and an event called target. <br/><br/>The OrderConstraint is a minor variant of an application of StrongDelayConstraint with lower set to 0 and upper to infinity; the difference being that the OrderConstraint does not allow matching target and source occurrences to coincide. <br/><br/>Semantics:<br/>A system behavior satisfies an OrderConstraint c if and only if<br/>c.source and c.target have the same number of occurrences, <br/>and for each index i,<br/> if there is an i:th occurrence of c.source at time x, there is <br/> also an i:th occurrence of c.target at time y such that<br/> x #lt; y<br/>
