Text this: Duration calculus : a formal approach to real-time systems / Chaochen Zhou, Michael R. Hansen.