- Specification's authors: Giuliano Losa
- Original paper: Arun, Balaji, et al. Speeding up Consensus by Chasing Fast Decisions. 2017 47th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN). IEEE, 2017.
- Extended modules: FinSet, Seq, Int
- Computation models: clean crashes
- Some properties checked with TLC: GraphInvariant, agreement
- TLA+ files