"Principles of the Spin Model Checker" - читать интересную книгу автора (Mordechai Ben-Ari)