A PatternConstraint describes an event that exhibits a known pattern relative to the occurrences of an imaginary event.<br/><br/>A PatternConstraint requires the constrained event occurrences to appear at a predetermined series of offsets from a sequence of reference points in time that are strictly periodic. The exact placement of these reference points is irrelevant; if one placement exists that is periodic and allows the event occurrences to be reached at the desired offsets, the constraint is satisfied.<br/><br/>Semantics:<br/>A system behavior satisfies a PatternConstraint c if and only if<br/>there is a set of times X such that the same system behavior concurrently satisfies<br/><br/>PeriodicConstraint { event = X,<br/>period = c.period }<br/><br/>and for each c.offset index i,<br/><br/>DelayConstraint { source = X,<br/>target = c.event,<br/>lower = c.offset(i),<br/>upper = c.offset(i) + c.jitter }<br/><br/>and<br/>RepeatConstraint { event = c.event,<br/>lower = c.minimum }<br/>
