The highly accurate and reliable synchronization of distributed systems based on local, synchronized clocks is key for many modern, large-scale IT systems such as smart grids, mobile communications infrastructure, factory automation, traffic control systems, or financial services.