Anyone know of any good resources on current techniques, libraries, systems for dealing with time and clocks in distributed systems?