"Real-Time Systems: Formal Specification and Automatic Verification" - читать интересную книгу автора (Ernst-Rüdiger Olderog, Henning Dierks)