A Randomized Linear Algorithm for Clock Synchronization in Multi-Agent Systems | IEEE Journals & Magazine | IEEE Xplore