Distal: A framework for implementing fault-tolerant distributed algorithms | IEEE Conference Publication | IEEE Xplore