Tatsuhiro Tsuchiya André Schiper Verification of consensus algorithms using satisfiability solving. 341-358 2011 23 Distributed Computing 5-6 http://dx.doi.org/10.1007/s00446-010-0123-3 db/journals/dc/dc23.html#TsuchiyaS11