https://123dok.net/document/z3dlj17y-asynchronous-failure-detectors.html