Leader Selection Algorithm and Its Verification Environment for Supporting Fault Tolerance | IEEE Conference Publication | IEEE Xplore