I'm surprised not to see Raft on the list. I'm pretty new to the world, but it seems like it's become the replicated state-machine of choice.
In Search of an Understandable Consensus Algorithm. Diego Ongaro, John Ousterhout, Usenix ATC, 2014.
All is well here