Rui Wang, Lars Michael Kristensen, Hein Meling, Volker Stolz. Automated test case generation for the Paxos single-decree protocol using a Coloured Petri Net model. Journal of Logic and Algebraic Programming, 104:254-273, 2019. [doi]
Abstract is missing.