LibBFT: A High-Performace Timed Automata Library Collection for Byzantine Fault Tolerance | IEEE Conference Publication | IEEE Xplore