Anfonwch hwn fel neges destun: Duration calculus : a formal approach to real-time systems / Chaochen Zhou, Michael R. Hansen.