State Machine Replication for the Masses with BFT-SMaRt - Sousa, João (2013)