| 1. | Introduction | 1 | ||
| 2. | Interval Logic | 23 | ||
| 3. | Duration Calculus | 41 | ||
| 4. | Deadline-Driven Scheduler | 67 | ||
| 5. | Relative Completeness | 89 | ||
| 6. | Decidability | 99 | ||
| 7. | Undecidability | 111 | ||
| 8. | Model Checking: Linear Duration Invariants | 125 | ||
| 9. | State Transitions and Events | 145 | ||
| 10. | Superdense State Transitions | 165 | ||
| 11. | Neighborhood Logic | 189 | ||
| 12. | Probabilistic Duration Calculus | 209 | ||
| References | 227 | |||
| Abbreviations | 239 | |||
| Symbol Index | 241 | |||
| Index | 243 |