- 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: Int, FinSet
- Computation models: clean crashes
- Some properties checked with TLC: strong completeness, eventual strong accuracy