Probabilistic verification of a synchronous round-based consensus protocol | IEEE Conference Publication | IEEE Xplore