A general tool for replicating distributed services | IEEE Conference Publication | IEEE Xplore