Extended and updated version of the paper
TLA+ specification of the consensus algorithm
Updated version of the Isabelle/HOL theory