Minimum Duration
- Pattern in the original catalog
- Structured English Specification:
[Scope], once P [becomes satisfied] it remains so for at least l time units.
An untimed version of this pattern is not applicable.
A[] Scope imply P
A[] not ERROR
A[] Scope imply P
A[] not ERROR
A[] (State AND c <= t1) imply P
