"Computer Aided Verification, 14 conf., CAV 2002" - читать интересную книгу автора (Ed Brinksma, Kim G. Larsen)