https://123dok.net/document/7q0dr4xz-failure-disconnection-and-partition-detection-in-mobile-environment.html