"The Temporal Logic of Reactive and Concurrent Systems: Specification" - читать интересную книгу автора (Zohar Manna, Amir Pnueli)