Formal modeling and analysis of atomic commitment protocols | IEEE Conference Publication | IEEE Xplore