"25 Years of Model Checking" - читать интересную книгу автора (Orna Grumberg, Helmut Veith)