Fault detection for Byzantine quorum systems | IEEE Journals & Magazine | IEEE Xplore