@article(bokor2010efficient,
 author       = "Péter Bokor and Marco Serafini and Neeraj Suri",
 year         = "2010",
 title        = "On Efficient Models for Model Checking Message-Passing Distributed Protocols",
 journal      = "Lecture Notes in Computer Science",
 pages        = "216--223",
 url          = "http://dx.doi.org/10.1007/978-3-642-13464-7_17",
)
@article(Crouzen+,
 author       = "Pepijn Crouzen and Jaco van~de Pol and Arend Rensink",
 year         = "2008",
 title        = "Applying formal methods to gossiping networks with mCRL and groove",
 journal      = "SIGMETRICS Perform. Eval. Rev.",
 volume       = "36",
 number       = "3",
 pages        = "7",
 url          = "http://dx.doi.org/10.1145/1481506.1481510",
)
@article(DT13,
 author       = "Giorgio Delzanno and Riccardo Traverso",
 year         = "2013",
 title        = "Specification and Validation of Link Reversal Routing via Graph Transformations",
 journal      = "Lecture Notes in Computer Science",
 pages        = "160--177",
 url          = "http://dx.doi.org/10.1007/978-3-642-39176-7_11",
)
@article(AWN12,
 author       = "Ansgar Fehnker and Rob~van Glabbeek and Peter Höfner and Annabelle McIver and Marius Portmann and Wee~Lum Tan",
 year         = "2012",
 title        = "Automated Analysis of {AODV} Using {UPPAAL}",
 journal      = "Tools and Algorithms for the Construction and Analysis of Systems",
 pages        = "173--187",
 url          = "http://dx.doi.org/10.1007/978-3-642-28756-5_13",
)
@article(FHM07,
 author       = "Ansgar Fehnker and Lodewijk Hoesel and Angelika Mader",
 year         = "2007",
 title        = "Modelling and Verification of the LMAC Protocol for Wireless Sensor Networks",
 journal      = "Lecture Notes in Computer Science",
 pages        = "253--272",
 url          = "http://dx.doi.org/10.1007/978-3-540-73210-5_14",
)
@article(FLP85,
 author       = "Michael~J. Fischer and Nancy~A. Lynch and Michael~S. Paterson",
 year         = "1983",
 title        = "Impossibility of distributed consensus with one faulty process",
 journal      = "Proceedings of the 2nd ACM SIGACT-SIGMOD symposium on Principles of database systems - PODS'83",
 url          = "http://dx.doi.org/10.1145/588058.588060",
)
@article(GROOVE,
 author       = "Amir~Hossein Ghamarian and Maarten Mol and Arend Rensink and Eduardo Zambon and Maria Zimakova",
 year         = "2012",
 title        = "Modelling and analysis using GROOVE",
 journal      = "Int J Softw Tools Technol Transfer",
 volume       = "14",
 number       = "1",
 pages        = "15--40",
 url          = "http://dx.doi.org/10.1007/s10009-011-0186-x",
)
@misc(KVW12,
 author       = "I.~Konnov and H.~Veith and J.~Widder",
 year         = "2012",
 title        = "Who is afraid of Model Checking Distributed Algorithms?",
 howpublished = "Unpublished contribution to: CAV Workshop {$(EC)^2$}",
 url          = "http://forsyte.at/wp-content/uploads/2012/07/ec2-konnov.pdf",
)
@article(PaxosMadeSimple,
 author       = "L.~Lamport",
 year         = "2001",
 title        = "Paxos Made Simple",
 journal      = "ACM SIGACT News (Distributed Computing Column)",
 volume       = "32",
 number       = "4",
 pages        = "51--58",
 doi          = "10.1145/568425.568433",
)
@article(Paxos,
 author       = "Leslie Lamport",
 year         = "1998",
 title        = "The part-time parliament",
 journal      = "TOCS",
 volume       = "16",
 number       = "2",
 pages        = "133--169",
 url          = "http://dx.doi.org/10.1145/279227.279229",
)
@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(GROOVE-iso,
 author       = "A.~{Rensink}",
 year         = "2007",
 title        = "Isomorphism Checking in {\textsc {groove}\xspace }",
 editor       = "A.~{Z{\"u}ndorf} and D.~{Varr{\'o}}",
 booktitle    = "Graph-Based Tools (GraBaTs)",
 series       = "Electronic Communications of the EASST",
 volume       = "1",
 publisher    = "European Association of Software Science and Technology",
)
@article(SWJ08,
 author       = "Mayank Saksena and Oskar Wibling and Bengt Jonsson",
 year         = "2008",
 title        = "Graph Grammar Modeling and Verification of Ad Hoc Routing Protocols",
 journal      = "Tools and Algorithms for the Construction and Analysis of Systems",
 pages        = "18--32",
 url          = "http://dx.doi.org/10.1007/978-3-540-78800-3_3",
)
@article(SRS09,
 author       = "Anu Singh and C.~R. Ramakrishnan and Scott~A. Smolka",
 year         = "2009",
 title        = "Query-Based Model Checking of Ad Hoc Network Protocols",
 journal      = "CONCUR 2009 - Concurrency Theory",
 pages        = "603--619",
 url          = "http://dx.doi.org/10.1007/978-3-642-04081-8_40",
)