https://123dok.net/document/zgwj1k7y-model-checking-distributed-applications-with-gras.html