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