A DelayConstraint imposes limits between the occurrences of an event called source and an event called target.<br/><br/>This notion of delay is entirely based on the distance between source and target occurrences; whether a matching target occurrence is actually caused by the corresponding source occurrence is of no importance. This means that one-to-many and many-to-one source-target patterns are allowed, and so are stray target occurrences that are not within the prescribed distance of any source occurrence.<br/><br/>Semantics:<br/>A system behavior satisfies a DelayConstraint c if and only if<br/>for each occurrence x of c.source,<br/> there is an occurrence y of c.target such that<br/> c.lower #lt;= y - x #lt;= c.upper<br/>
