Using volatile witnesses to extend the applicability of available copy protocols | IEEE Conference Publication | IEEE Xplore