@book(BK08,
 author       = "C. Baier and J. P. Katoen",
 year         = "2008",
 title        = "Principles of Model Checking",
 publisher    = "MIT Press",
 address      = "New York",
)
@inproceedings(BCK01,
 author       = "P. Baldan and A. Corradini and B. K{\"o}nig",
 year         = "2001",
 title        = "A Static Analysis Technique for Graph Transformation Systems",
 booktitle    = "International Conference on Concurrency Theory (CONCUR)",
 series       = "LNCS",
 volume       = "2154",
 publisher    = "Springer",
 pages        = "381--395",
 url          = "http://dx.doi.org/10.1007/3-540-44685-0_26",
)
@inproceedings(BBKR08,
 author       = "J. Bauer and I. B. Boneva and M. E. Kurban and A. Rensink",
 year         = "2008",
 title        = "A Modal-Logic Based Graph Abstraction",
 editor       = "\write \rebib { editor = "Ehrig",}",
 pages        = "321--335",
 url          = "http://dx.doi.org/10.1007/978-3-540-87405-8_22",
)
@inproceedings(BW07,
 author       = "J. Bauer and R. Wilhelm",
 year         = "2007",
 title        = "Static Analysis of Dynamic Communication Systems by Partner Abstraction",
 booktitle    = "Static Analysis Symposium (SAS)",
 series       = "LNCS",
 volume       = "4634",
 publisher    = "Springer",
 pages        = "249--264",
 url          = "http://dx.doi.org/10.1007/978-3-540-74061-2_16",
)
@inproceedings(CC77,
 author       = "P. Cousot and R. Cousot",
 year         = "1977",
 title        = "Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints",
 booktitle    = "Principles of Programming Languages (POPL)",
 publisher    = "ACM",
 pages        = "238--252",
 url          = "http://doi.acm.org/10.1145/512950.512973",
)
@inproceedings(EJL06,
 author       = "S. Edelkamp and S. Jabbar and A. Lluch-Lafuente",
 year         = "2006",
 title        = "Heuristic Search for the Analysis of Graph Transition Systems",
 booktitle    = "International Conference on Graph Transformations (ICGT)",
 series       = "LNCS",
 volume       = "4178",
 publisher    = "Springer",
 pages        = "414--429",
 url          = "http://dx.doi.org/10.1007/11841883_29",
)
@book(Handbook-GG-2,
 editor       = "H. Ehrig and G. Engels and H.-J. Kreowski and G. Rozenberg",
 year         = "1999",
 title        = "Handbook of Graph Grammars and Computing by Graph Transformation: Applications, Languages, and Tools",
 publisher    = "World Scientific Publishing Co.",
)
@proceedings(ICGT2008,
 editor       = "H. Ehrig and R. Heckel and G. Rozenberg and G. Taentzer",
 year         = "2008",
 title        = "International Conference on Graph Transformations (ICGT)",
 series       = "LNCS",
 volume       = "5214",
 publisher    = "Springer",
)
@article(STTT,
 author       = "A. Ghamarian and M. de Mol and A. Rensink and E. Zambon and M. Zimakova",
 year         = "2012",
 title        = "Modelling and Analysis Using {{\sc groove}\xspace }",
 journal      = "International Journal on Software Tools for Technology Transfer (STTT)",
 volume       = "14",
 number       = "1",
 pages        = "15--40",
 url          = "http://dx.doi.org/10.1007/s10009-011-0186-x",
)
@book(God96,
 author       = "P. Godefroid",
 year         = "1996",
 title        = "Partial-Order Methods for the Verification of Concurrent Systems: An Approach to the State-Explosion Problem",
 publisher    = "Springer Verlag",
 address      = "New York",
)
@article(HMZM96,
 author       = "R. Holte and T. Mkadmi and R. Zimmer and A. MacDonald",
 year         = "1996",
 title        = "Speeding up Problem Solving by Abstraction: A Graph Oriented Approach",
 journal      = "Artificial Intelligence",
 volume       = "85",
 number       = "1-2",
 pages        = "321--361",
 url          = "http://dx.doi.org/10.1016/0004-3702(95)00111-5",
)
@inproceedings(KK06,
 author       = "B. K{\"o}nig and V. Kozioura",
 year         = "2006",
 title        = "Counterexample-Guided Abstraction Refinement for the Analysis of Graph Transformation Systems",
 booktitle    = "International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)",
 series       = "LNCS",
 volume       = "3920",
 publisher    = "Springer",
 pages        = "197--211",
 url          = "http://dx.doi.org/10.1007/11691372_13",
)
@article(AUGUR,
 author       = "B. K{\"o}nig and V. Kozioura",
 year         = "2008",
 title        = "Augur 2 - A New Version of a Tool for the Analysis of Graph Transformation Systems",
 journal      = "Electronic Notes in Theoretical Computer Science (ENTCS)",
 volume       = "211",
 pages        = "201--210",
 url          = "http://dx.doi.org/10.1016/j.entcs.2008.04.042",
)
@inproceedings(GROOVE,
 author       = "A. Rensink",
 year         = "2004",
 title        = "The {{\sc groove}\xspace } Simulator: A Tool for State Space Generation",
 booktitle    = "Applications of Graph Transformations with Industrial Relevance (AGTIVE)",
 series       = "LNCS",
 volume       = "3062",
 publisher    = "Springer",
 pages        = "479--485",
 url          = "http://dx.doi.org/10.1007/978-3-540-25959-6_40",
)
@inproceedings(Ren04,
 author       = "A. Rensink",
 year         = "2004",
 title        = "Canonical Graph Shapes",
 booktitle    = "European Symposium on Programming (ESOP)",
 series       = "LNCS",
 volume       = "2986",
 publisher    = "Springer",
 pages        = "401--415",
 url          = "http://dx.doi.org/10.1007/978-3-540-24725-8_28",
)
@inproceedings(Ren06,
 author       = "A. Rensink",
 year         = "2006",
 title        = "Isomorphism Checking in {\sc groove}\xspace ",
 booktitle    = "International Workshop on Graph-Based Tools (GraBaTs)",
 series       = "Electronic Communications of the EASST",
 volume       = "1",
 publisher    = "European Association of Software Science and Technology",
 url          = "http://eceasst.cs.tu-berlin.de/index.php/eceasst/article/view/77",
)
@inproceedings(RD06,
 author       = "A. Rensink and D. Distefano",
 year         = "2006",
 title        = "Abstract Graph Transformation",
 booktitle    = "Workshop on Software Verification and Validation (SVV)",
 series       = "Electronic Notes in Theoretical Computer Science (ENTCS)",
 volume       = "157",
 pages        = "39--59",
 url          = "http://dx.doi.org/10.1016/j.entcs.2006.01.022",
)
@inproceedings(RZ10,
 author       = "A. {Rensink} and E. {Zambon}",
 year         = "2010",
 title        = "Neighbourhood Abstraction in {\sc groove}\xspace ",
 booktitle    = "International Workshop on Graph-Based Tools (GraBaTs)",
 series       = "Electronic Communications of the EASST",
 volume       = "32",
 publisher    = "European Association of Software Science and Technology",
 url          = "http://journal.ub.tu-berlin.de/index.php/eceasst/article/view/501",
)
@inproceedings(RN08,
 author       = "S. Rieger and T. Noll",
 year         = "2008",
 title        = "Abstracting Complex Data Structures by Hyperedge Replacement",
 editor       = "\write \rebib { editor = "Ehrig",}",
 pages        = "69--83",
 url          = "http://dx.doi.org/10.1007/978-3-540-87405-8_6",
)
@article(SRW02,
 author       = "S. Sagiv and T. W. Reps and R. Wilhelm",
 year         = "2002",
 title        = "Parametric Shape Analysis via 3-valued Logic",
 journal      = "Transactions on Programming Languages and Systems (ToPLaS)",
 volume       = "24",
 number       = "3",
 pages        = "217--298",
 url          = "http://doi.acm.org/10.1145/514188.514190",
)
@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    = "International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)",
 series       = "LNCS",
 volume       = "4963",
 publisher    = "Springer",
 pages        = "18--32",
 url          = "http://dx.doi.org/10.1007/978-3-540-78800-3_3",
)