A randomized linear algorithm for clock synchronization in multi-agent systems | IEEE Conference Publication | IEEE Xplore