"Computer Aided Verification, 19 conf., CAV 2007" - читать интересную книгу автора (Werner Damm, Holger Hermanns)