@inproceedings(BPZ06,
 author       = "I.~Balaban and A.~Pnueli and L.~D. Zuck",
 year         = "2006",
 title        = "Invisible Safety of Distributed Protocols",
 booktitle    = "ICALP '06",
 pages        = "528--539",
 doi          = "10.1007/11787006\_45",
)
@incollection(bokor2010efficient,
 author       = "P.~Bokor and M.~Serafini and N.~Suri",
 year         = "2010",
 title        = "On efficient models for model checking message-passing distributed protocols",
 booktitle    = "Formal Techniques for Distributed Systems",
 publisher    = "Springer",
 pages        = "216--223",
 doi          = "10.1007/978-3-642-13464-7\_17",
)
@inproceedings(Chubby,
 author       = "M.~Burrows",
 year         = "2006",
 title        = "The Chubby lock service for loosely-coupled distributed systems",
 booktitle    = "OSDI '06",
 pages        = "335--350",
)
@misc(graphite14,
 author       = "G.~Delzanno and A.~Rensink and R.~Traverso",
 year         = "2014",
 title        = "Graph- versus Vector-Based Analysis of a Consensus Protocol",
)
@inproceedings(DST13,
 author       = "G.~Delzanno and A.~Sangnier and R.~Traverso",
 year         = "2013",
 title        = "Parameterized Verification of Broadcast Networks of Register Automata",
 booktitle    = "RP '13",
 pages        = "109--121",
 doi          = "10.1007/978-3-642-41036-9\_11",
)
@inproceedings(DSTZ12,
 author       = "G.~Delzanno and A.~Sangnier and R.~Traverso and G.~Zavattaro",
 year         = "2012",
 title        = "On the Complexity of Parameterized Reachability in Reconfigurable Broadcast Networks",
 booktitle    = "FSTTCS '12",
 pages        = "289--300",
 doi          = "10.4230/LIPIcs.FSTTCS.2012.289",
)
@inproceedings(DSZ10,
 author       = "G.~Delzanno and A.~Sangnier and G.~Zavattaro",
 year         = "2010",
 title        = "Parameterized Verification of Ad Hoc Networks",
 booktitle    = "CONCUR '10",
 pages        = "313--327",
 doi          = "10.1007/978-3-642-15375-4\_22",
)
@inproceedings(DSZ11,
 author       = "G.~Delzanno and A.~Sangnier and G.~Zavattaro",
 year         = "2011",
 title        = "On the Power of Cliques in the Parameterized Verification of Ad Hoc Networks",
 booktitle    = "FOSSACS '11",
 pages        = "441--455",
 doi          = "10.1007/978-3-642-19805-2\_30",
)
@inproceedings(DT13b,
 author       = "G.~Delzanno and R.~Traverso",
 year         = "2013",
 title        = "Decidability and Complexity Results for Verification of Asynchronous Broadcast Networks",
 booktitle    = "LATA '13",
 pages        = "238--249",
 doi          = "10.1007/978-3-642-37064-9\_22",
)
@inproceedings(DT13,
 author       = "G.~Delzanno and R.~Traverso",
 year         = "2013",
 title        = "Specification and Validation of Link Reversal Routing via Graph Transformations",
 booktitle    = "SPIN '13",
 pages        = "238–249",
 doi          = "10.1007/978-3-642-39176-7\_11",
)
@article(EN03,
 author       = "E.~A. Emerson and K.~S. Namjoshi",
 year         = "2003",
 title        = "On Reasoning About Rings",
 journal      = "IJFCS",
 volume       = "14",
 number       = "4",
 pages        = "527--550",
 doi          = "10.1142/S0129054103001881",
)
@inproceedings(AWN12,
 author       = "A.~Fehnker and R.~J. van Glabbeek and P.~H{\"o}fner and A.~McIver and M.~Portmann and W.~L. Tan",
 year         = "2012",
 title        = "Automated Analysis of AODV Using UPPAAL",
 booktitle    = "TACAS 12",
 pages        = "173--187",
 doi          = "10.1007/978-3-642-28756-5\_13",
)
@inproceedings(FHM07,
 author       = "A.~Fehnker and L.~van Hoesel and A.~Mader",
 year         = "2007",
 title        = "Modelling and Verification of the LMAC Protocol for Wireless Sensor Networks",
 booktitle    = "IFM '07",
 pages        = "253--272",
 doi          = "10.1007/978-3-540-73210-5\_14",
)
@article(FLP85,
 author       = "M.~J. Fischer and N.~A. Lynch and M.~Paterson",
 year         = "1985",
 title        = "Impossibility of Distributed Consensus with One Faulty Process",
 journal      = "J. ACM",
 volume       = "32",
 number       = "2",
 pages        = "374--382",
 doi          = "10.1145/588058.588060",
)
@inproceedings(GKSVW14,
 author       = "A.~Gmeiner and I.~Konnov and U.~Schmid and H.~Veith and J.~Widder",
 year         = "2014",
 title        = "Tutorial on Parameterized Model Checking of Fault-Tolerant Distributed Algorithms",
 booktitle    = "SFM '14",
 pages        = "122--171",
 doi          = "10.1007/978-3-319-07317-0\_4",
)
@inproceedings(JKSVW13,
 author       = "A.~John and I.~Konnov and U.~Schmid and H.~Veith and J.~Widder",
 year         = "2013",
 title        = "Towards Modeling and Model Checking Fault-Tolerant Distributed Algorithms",
 booktitle    = "SPIN '13",
 pages        = "209--226",
 doi          = "10.1007/978-3-642-39176-7\_14",
)
@inproceedings(JK08,
 author       = "S.~Joshi and B.~K{\"o}nig",
 year         = "2008",
 title        = "Applying the Graph Minor Theorem to the Verification of Graph Transformation Systems",
 booktitle    = "CAV '08",
 pages        = "214--226",
 doi          = "10.1007/978-3-540-70545-1\_21",
)
@misc(KVW12,
 author       = "I.~Konnov and H.~Veith and J.~Widder",
 year         = "2012",
 title        = "Who is afraid of Model Checking Distributed Algorithms?",
 howpublished = "CAV Workshop {$(EC)^2$}",
)
@article(Paxos,
 author       = "L.~Lamport",
 year         = "1998",
 title        = "The Part-time Parliament",
 journal      = "ACM Transactions on Computer Systems",
 volume       = "16",
 number       = "3",
 pages        = "133--169",
 doi          = "10.1145/279227.279229",
)
@article(PaxosMadeSimple,
 author       = "L.~Lamport",
 year         = "2001",
 title        = "Paxos Made Simple",
 journal      = "ACM SIGACT News (Distributed Computing Column)",
 volume       = "32, 4",
 number       = "121",
 pages        = "51--58",
 doi          = "10.1145/568425.568433",
)
@inproceedings(L11,
 author       = "L.~Lamport",
 year         = "2011",
 title        = "Byzantizing Paxos by Refinement",
 booktitle    = "DISC 2011",
 pages        = "211--224",
 doi          = "10.1007/978-3-642-24100-0\_22",
)
@misc(MMH13,
 author       = "K.~Marzullo and A.~Mei and H.~Meling",
 year         = "2013",
 title        = "A Simpler Proof for Paxos and Fast Paxos",
 howpublished = "Course notes",
)
@inproceedings(NT13,
 author       = "K.~S. Namjoshi and R.~J. Trefler",
 year         = "2013",
 title        = "Uncovering Symmetries in Irregular Process Networks",
 booktitle    = "VMCAI '13",
 pages        = "496--514",
 doi          = "10.1007/978-3-642-35873-9\_29",
)
@inproceedings(SWJ08,
 author       = "M.~Saksena and O.~Wibling and B.~Jonsson",
 year         = "2008",
 title        = "Graph Grammar Modeling and Verification of Ad Hoc Routing Protocols",
 booktitle    = "TACAS '08",
 pages        = "18--32",
 doi          = "10.1007/978-3-540-78800-3\_3",
)
@inproceedings(SRS09,
 author       = "A.~Singh and C.~R. Ramakrishnan and S.~A. Smolka",
 year         = "2009",
 title        = "Query-Based Model Checking of Ad Hoc Network Protocols",
 booktitle    = "CONCUR '09",
 pages        = "603--619",
 doi          = "10.1007/978-3-642-04081-8\_40",
)
@incollection(tsuchiya2008using,
 author       = "T.~Tsuchiya and A.~Schiper",
 year         = "2008",
 title        = "Using bounded model checking to verify consensus algorithms",
 booktitle    = "Distributed Computing",
 publisher    = "Springer",
 pages        = "466--480",
 doi          = "10.1007/978-3-540-87779-0\_32",
)