Raft was described by Ongaro and Ousterhout. Time is split into terms; each term has at most one leader, and only the leader appends to the log.