A model of optimally precise and globally consistent clock synchronization, using the model provided by Reference-Broadcast Synchronization.
