Muhammad Atif, Mohammad Reza Mousavi, A. Osaiweran. Formal verification of Unreliable Failure Detectors in Partially Synchronous Systems. In Sascha Ossowski, Paola Lecca, editors, Proceedings of the ACM Symposium on Applied Computing, SAC 2012, Riva, Trento, Italy, March 26-30, 2012. pages 478-485, ACM, 2012. [doi]