Email Record: Clock distribution and synchronization in large digital systems /