Probabilistic Verification of a Synchronous Round-Based Consensus Protocol. - Harpreet S. Duggal; Michel Cukier; William H. Sanders (SRDS, 1997)