State Machine Replication for the Masses with BFT-SMART
Yet Another Visit to Paxos