Time-Triggered Ethernet and IEEE 1588 Clock Synchronization | IEEE Conference Publication | IEEE Xplore