Using atomic broadcast to implement a posteriori agreement for clock synchronization | IEEE Conference Publication | IEEE Xplore