Formal modeling and verification of distributed failure detectors door