A distributed transaction facility for design task management | IEEE Conference Publication | IEEE Xplore