Expressing and Organizing Real Time Specification Patterns via Temporal Logics

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