Duration Calculus: A Formal Approach to Real-Time Systems - Chaochen Zhou et Michael R. Hansen