"Duration Calculus: A Formal Approach to Real-Time Systems" - читать интересную книгу автора (Chaochen Zhou, Michael R. Hansen)