In the examples so far did the dimension of time not explicitly occur. Only as part of the concept of an execution or as a path p as part of an execution graph g we encountered equally spaced indices as the domain of a sequence . In the following chapter the dimension of time will be made the main subject. The point of view are some mathematical concepts ready for use in an application domain with automata and real clocks.

- Discrete and Continous Time
- Example extended with Clocks
- Finite Automata and Clocks
- Automata Theoretic Semantics of Time
- Timed CTL: TCTL and tCTL
- Model Checking

Gerd Doeben-Henisch 2010-03-03