https://readrate.com/rus/books/the-spin-model-checker-primer-and-reference-manual