← Specification of Time Synchronization over Ethernet