"Principles of Model Checking" - читать интересную книгу автора (Christel Baier, Joost-Pieter Katoen)