- Specification's authors: Thanh Hai Tran, Igor Konnov, Josef Widder
- Original paper: Srikanth, T. K., and Sam Toueg. Simulating authenticated broadcasts to derive simple fault-tolerant algorithms. Distributed Computing 2.2 (1987): 80-94.
- Extended modules: Nat, FinSet
- Computation models: Byzantine
- Some properties checked with TLC: correctness, relay, unforgeability
- TLAPS proofs: unforgeability