Time, Clocks, and the Ordering of Events in a Distributed System [pdf]research.microsoft.com5 pointstosh10 years ago