Duration Calculus: A Formal Approach to Real-Time SystemsAuthor: Prof. Zhou Chaochen, Assoc. Prof. Dr. Michael R. Hansen Published by Springer Berlin Heidelberg ISBN: 978-3-642-07404-2 DOI: 10.1007/978-3-662-06784-0Table of Contents:Introduction Interval Logic Duration Calculus Deadline-Driven Scheduler Relative Completeness Decidability Undecidability Model Checking: Linear Duration Invariants State Transitions and Events Superdense State Transitions Neighborhood Logic Probabilistic Duration Calculus, Includes bibliographical references (pages 227-237) and indexes