A Three-Phases Byzantine Fault Tolerance Mechanism for HLA-Based Simulation | IEEE Conference Publication | IEEE Xplore