"Computer Aided Verification, 9 conf., CAV '97" - читать интересную книгу автора (Orna Grumberg)