"Computer Aided Verification, 12 conf., CAV 2000" - читать интересную книгу автора (E. Allen Emerson, A. Prasad Sistla)