Consensus in synchronous systems: a concise guided tour | IEEE Conference Publication | IEEE Xplore