TimingConstraints::BurstConstraint

A BurstConstraint describes an event that occurs in semi-regular bursts.<br/><br/>A BurstConstraint expresses the maximum number of event occurrences that may appear in any interval of a given length, which is equivalent to constraining the same number of repeat spans (which count one extra occurrence at the end) to have a minimum width of length.<br/><br/>Semantics:<br/>A system behavior satisfies a BurstConstraint c if and only if<br/>the same system behavior concurrently satisfies<br/><br/>RepeatConstraint { event = c.event,<br/>lower = c.length,<br/>upper = infinity,<br/>span = c.maxOccurrences }<br/><br/>and<br/><br/>RepeatConstraint { event = c.event,<br/>lower = c.minimum }<br/>