"Computer Aided Verification, 8 conf., CAV '96" - читать интересную книгу автора (Rajeev Alur, Thomas Henzinger)