Florio. Application-layer Fault-tolerance Protocols. 5 Nov. 2016.