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