"Temporal Verification of Reactive Systems: Safety" - читать интересную книгу автора (Manna Z., Pnueli A.)