An analysis of the average message overhead in replica control protocols | IEEE Journals & Magazine | IEEE Xplore