https://5dok.net/document/lq50vdgz-deductive-techniques-for-model-based-concurrency-verification.html