Formal modeling and verification of distributed failure detectors by