"Real Time Programming: Languages, Specification & Verification" - читать интересную книгу автора (R. K. Shyamasundar, S. Ramesh)