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