Comments on Comments on “An Interval Logic for Real-Time System Specification”

Temporal Logic, temporal reasoning, real time temporal logic, metric of time, executable temporal logic, verification and validation, state machines