"Computer Aided Verification, 16 conf., CAV 2004" - читать интересную книгу автора (Rajeev Alur, Doron A. Peled)