Leader : gesynchroniseerde werking voor failover. Eliminatie van referentieverschillen in moderne timing-systemen