Tool: An Efficient and Flexible Simulator for Byzantine Fault-Tolerant Protocols | IEEE Conference Publication | IEEE Xplore