Papers Time clock and the ordering of events in a distributed system Consensus on Transaction Commit An empirical study on the correctness of formally verified distributed systems Byzantizing Paxos by Refinement