Making Reads in BFT State Machine Replication Fast, Linearizable, and Live | IEEE Conference Publication | IEEE Xplore