https://123dok.net/document/y6e9nveo-formal-verification-concurrent-systems-directed-model-checking.html