A StrongDelayConstraint imposes limits between each indexed occurrence of an event called source and the identically indexed occurrence of an event called target.<br/><br/>The strong delay notion requires source and target occurrences to appear in lock-step. Only one-to-one source-target patterns are allowed, and no stray target occurrences are accepted.<br/><br/>Strong synchronization differs from the ordinary form of SynchronizationConstraint by grouping event occurrences into synchronization clusters strictly according to their index. This means that multiple occurrences of a single event cannot belong to a single cluster, and clusters may not share occurrences. Strong synchronization tightens the requirements compared to ordinary synchronization in much the same way as StrongDelayConstraint refines the ordinary DelayConstraint.<br/><br/>Semantics:<br/>A system behavior satisfies a StrongDelayConstraint 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 <br/> there is also an i:th occurrence of c.target at time y <br/> such that<br/> c.lower #lt;= y - x #lt;= c.upper<br/>
