A highly available replication control protocol using volatile witnesses | IEEE Conference Publication | IEEE Xplore