Extended and updated version of the paper

TLA+ specification of the consensus algorithm

Updated version of the Isabelle/HOL theory