"Temporal verification of reactive systems: progress" - читать интересную книгу автора (Manna Z., Pnueli A. )