Time Synchronization at OS Level Using the IEEE 1588 Protocol | IEEE Conference Publication | IEEE Xplore