https://123dok.net/document/zgw655dn-strategy-automatic-verification-stabilization-distributed-algorithms.html