Set-valued Consensus for Distributed Clock Synchronization