Cover-ability: Consistent versioning in asynchronous, fail-prone, message-passing environments | IEEE Conference Publication | IEEE Xplore