Computer Network Time Synchronization: The Network Time Protocol (CRC Press, 2009)