On Probabilistic Analysis of Disagreement in Synchronous Consensus Protocols
PRISM: probabilistic model checking for performance and reliability analysis