An ExecutionTimeConstraint limits the time between the starting and stopping of an executable entity (function), not counting the intervals when the execution of such an executable entity (function) has been interrupted.<br/><br/>Semantics:<br/>A system behavior satisfies an ExecutionTimeConstraint c if and only if<br/>for each occurrence x of event c.start,<br/> E is the set of times between x and the next c.stop<br/> occurrence, excluding the times between any c.preempt<br/> occurrence and its next c.resume occurrence,<br/>and<br/> c.lower #lt;= length of all continuous intervals in E #lt;= c.upper<br/>
