State Machine Replication for the Masses with BFT-SMART | IEEE Conference Publication | IEEE Xplore