From: http://gsd.di.uminho.pt/members/cbm/ps/itc2008.pdf
Interval Tree Clock implementation, based on Almeida et al, 2008.