- Specification's authors: Thanh Hai Tran, Igor Konnov, Josef Widder
- Original paper: Tushar Deepak Chandra and Sam Toueg. 1996. Unreliable failure detectors for reliable distributed systems. J. ACM 43, 2 (March 1996), 225-267.
- Extended modules: Nat
- Computation models: clean crashes
- Some properties checked with TLC: correctness, relay, unforgeability
- TLAPS proofs: the implementation of the specification Alternative