https://123dok.net/document/lq51wg3y-a-modular-framework-for-verifying-versatile-distributed-systems.html