Formal modeling and verification of distributed failure detectors - Atif, Muhammad (Samundri, Pakistan Geboren te, 2011)