Options: a way for achieving failure atomicity in the WorkMan system | IEEE Conference Publication | IEEE Xplore