https://1library.net/document/q05pkl3y-software-model-checking-based-game-semantics-csp.html