Piotr Zielinski Automatic Verification and Discovery of Byzantine Consensus Protocols. 72-81 2007 conf/dsn/2007 DSN http://doi.ieeecomputersociety.org/10.1109/DSN.2007.22 db/conf/dsn/dsn2007.html#Zielinski07