Temporal logic cannot be used. In continuous time Stateflow charts the during actions execute a variable number of times, leading to unpredictable behavior in the presence of counters


cdr