@article(AlbertEvolutionaryProcess2002,
 author       = {Cecilia Albert and Lisa Brownsword},
 year         = {2002},
 title        = {Evolutionary process for integrating COTS-based systems (EPIC): An overview},
 url          = {https://doi.org/10.21236/ada408653},
)
@inproceedings(ABJKT10,
 author       = {Thorsten Arendt and Enrico Biermann and Stefan Jurack and Christian Krause and Gabriele Taentzer},
 year         = {2010},
 title        = {{Henshin: Advanced Concepts and tools for In-Place EMF Model Transformation}},
 booktitle    = {{Model Driven Engineering Languages and Systems, 13th International Conference, MoDELS 2010, Oslo, Norway. Proceedings}},
 series       = {LNCS},
 volume       = {6394},
 publisher    = {Springer},
 pages        = {121--135},
 url          = {https://doi.org/10.1007/978-3-642-16145-2_9},
)
@article(DBLP:journals/sigmetrics/ArijoHTG11,
 author       = {Niaz Arijo and Reiko Heckel and Mirco Tribastone and Stephen Gilmore},
 year         = {2011},
 title        = {Modular performance modelling for mobile applications (abstracts only)},
 journal      = {{SIGMETRICS} Performance Evaluation Review},
 volume       = {39},
 number       = {3},
 pages        = {18},
 url          = {https://doi.org/10.1145/2160803.2160839},
)
@article(Ass00,
 author       = {A{\ss}mann, Uwe},
 year         = {2000},
 title        = {Graph Rewrite Systems for Program Optimization},
 journal      = {ACM Trans. Program. Lang. Syst.},
 volume       = {22},
 number       = {4},
 pages        = {583--637},
 url          = {https://doi.org/10.1145/363911.363914},
)
@incollection(Baader03a,
 author       = {Franz Baader},
 year         = {2003},
 title        = {Description Logic Terminology},
 editor       = {Franz Baader and Diego Calvanese and Deborah L. McGuinness and Daniele Nardi and Patel{-}Schneider, Peter F.},
 booktitle    = {The Description Logic Handbook: Theory, Implementation, and Applications},
 publisher    = {Cambridge University Press},
 pages        = {485--495},
 url          = {https://doi.org/10.1017/9781139025355.009},
)
@inproceedings(BCK01,
 author       = {Paolo Baldan and Andrea Corradini and Barbara K{\"{o}}nig},
 year         = {2001},
 title        = {A Static Analysis Technique for Graph Transformation Systems},
 booktitle    = {{CONCUR} 2001 - Concurrency Theory, 12th International Conference, Aalborg, Denmark, August 20-25, 2001, Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {2154},
 publisher    = {Springer},
 pages        = {381--395},
 url          = {https://doi.org/10.1007/3-540-44685-0_26},
)
@inproceedings(BaresiS06,
 author       = {Luciano Baresi and Paola Spoletini},
 year         = {2006},
 title        = {On the Use of Alloy to Analyze Graph Transformation Systems},
 editor       = {Andrea Corradini and Hartmut Ehrig and Ugo Montanari and Leila Ribeiro and Grzegorz Rozenberg},
 booktitle    = {Graph Transformations, Third International Conference, {ICGT} 2006, Natal, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {4178},
 publisher    = {Springer},
 pages        = {306--320},
 url          = {https://doi.org/10.1007/11841883\_22},
)
@article(BaumgartnerFT06,
 author       = {Peter Baumgartner and Alexander Fuchs and Cesare Tinelli},
 year         = {2006},
 title        = {Implementing the Model Evolution Calculus},
 journal      = {International Journal on Artificial Intelligence Tools},
 volume       = {15},
 number       = {1},
 pages        = {21--52},
 url          = {https://doi.org/10.1142/S0218213006002552},
)
@inproceedings(BeckerBGKS06,
 author       = {Basil Becker and Dirk Beyer and Holger Giese and Florian Klein and Daniela Schilling},
 year         = {2006},
 title        = {Symbolic invariant verification for systems with dynamic structural adaptation},
 editor       = {Leon J. Osterweil and H. Dieter Rombach and Mary Lou Soffa},
 booktitle    = {28th International Conference on Software Engineering {(ICSE} 2006), Shanghai, China, May 20-28, 2006},
 publisher    = {{ACM}},
 pages        = {72--81},
 url          = {https://doi.org/10.1145/1134285.1134297},
)
@article(BeyerNL04,
 author       = {Dirk Beyer and Andreas Noack and Claus Lewerentz},
 year         = {2005},
 title        = {Efficient Relational Calculation for Software Analysis},
 journal      = {{IEEE} Trans. Software Eng.},
 volume       = {31},
 number       = {2},
 pages        = {137--149},
 url          = {https://doi.org/10.1109/TSE.2005.23},
)
@inproceedings(BoronatHM09,
 author       = {Artur Boronat and Reiko Heckel and Jos{\'{e}} Meseguer},
 year         = {2009},
 title        = {Rewriting Logic Semantics and Verification of Model Transformations},
 editor       = {Marsha Chechik and Martin Wirsing},
 booktitle    = {Fundamental Approaches to Software Engineering, 12th International Conference, {FASE} 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2009, York, UK, March 22-29, 2009. Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {5503},
 publisher    = {Springer},
 pages        = {18--33},
 url          = {https://doi.org/10.1007/978-3-642-00593-0\_2},
)
@article(BHPT05,
 author       = {Paolo Bottoni and Kathrin Hoffmann and Parisi-Presicce, Francesco and Gabriele Taentzer},
 year         = {2005},
 title        = {High-level replacement units and their termination properties},
 journal      = {J. Vis. Lang. Comput.},
 volume       = {16},
 number       = {6},
 pages        = {485--507},
 url          = {https://doi.org/10.1016/j.jvlc.2005.07.001},
)
@inproceedings(BTS00,
 author       = {Paolo Bottoni and Gabriele Taentzer and Andy Sch{\"{u}}rr},
 year         = {2000},
 title        = {Efficient Parsing of Visual Languages Based on Critical Pair Analysis and Contextual Layered Graph Transformation},
 booktitle    = {2000 {IEEE} International Symposium on Visual Languages, {VL} 2000, Seattle, Washington, USA, September 10-13, 2000, Proceedings.},
 publisher    = {{IEEE} Computer Society},
 pages        = {59--60},
 url          = {https://doi.org/10.1109/VL.2000.874351},
)
@inproceedings(BrenasES18,
 author       = {Jon Ha{\"{e}}l Brenas and Rachid Echahed and Martin Strecker},
 year         = {2018},
 title        = {Verifying Graph Transformation Systems with Description Logics},
 editor       = {Leen Lambers and Jens H. Weber},
 booktitle    = {Graph Transformation - 11th International Conference, {ICGT} 2018, Held as Part of {STAF} 2018, Toulouse, France, June 25-26, 2018, Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {10887},
 publisher    = {Springer},
 pages        = {155--170},
 url          = {https://doi.org/10.1007/978-3-319-92991-0\_10},
)
@article(DBLP:journals/access/BrenasSES18,
 author       = {Jon Ha{\"{e}}l Brenas and Martin Strecker and Rachid Echahed and Shaban{-}Nejad, Arash},
 year         = {2018},
 title        = {Applied Graph Transformation and Verification With Use Cases in Malaria Surveillance},
 journal      = {{IEEE} Access},
 volume       = {6},
 pages        = {64728--64741},
 url          = {https://doi.org/10.1109/ACCESS.2018.2878311},
)
@misc(Grez2015,
 author       = {Harrie Jan Sander Bruggink},
 year         = {2015},
 title        = {Grez user manual},
 url          = {http://www.ti.inf.uni-due.de/research/tools/grez/},
)
@book(maude2007,
 editor       = {Manuel Clavel and Francisco Dur{\'{a}}n and Steven Eker and Patrick Lincoln and Mart{\'{\i}}{-}Oliet, Narciso and Jos{\'{e}} Meseguer and Carolyn L. Talcott},
 year         = {2007},
 title        = {All About Maude - {A} High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic},
 series       = {Lecture Notes in Computer Science},
 volume       = {4350},
 publisher    = {Springer},
 url          = {https://doi.org/10.1007/978-3-540-71999-1},
)
@inproceedings(corradini2019rewriting,
 author       = {Andrea Corradini and Tobias Heindel and Barbara K{\"o}nig and Dennis Nolte and Arend Rensink},
 year         = {2019},
 title        = {Rewriting Abstract Structures: Materialization Explained Categorically},
 booktitle    = {International Conference on Foundations of Software Science and Computation Structures},
 organization = {Springer},
 pages        = {169--188},
 url          = {https://doi.org/10.1007/978-3-030-17127-8_10},
)
@inproceedings(DBLP:conf/gg/Corradini0N17,
 author       = {Andrea Corradini and Barbara K{\"{o}}nig and Dennis Nolte},
 year         = {2017},
 title        = {Specifying Graph Languages with Type Graphs},
 editor       = {Juan de Lara and Detlef Plump},
 booktitle    = {Graph Transformation - 10th International Conference, {ICGT} 2017, Held as Part of {STAF} 2017, Marburg, Germany, July 18-19, 2017, Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {10373},
 publisher    = {Springer},
 pages        = {73--89},
 url          = {https://doi.org/10.1007/978-3-319-61470-0\_5},
)
@article(Corradini2019specifying,
 author       = {Andrea Corradini and Barbara K{\"o}nig and Dennis Nolte},
 year         = {2019},
 title        = {Specifying graph languages with type graphs},
 journal      = {Journal of Logical and Algebraic Methods in Programming},
 volume       = {104},
 pages        = {176--200},
 url          = {https://doi.org/10.1016/j.jlamp.2019.01.005},
)
@inproceedings(z3,
 author       = {De Moura, Leonardo and Bj{\o}rner, Nikolaj},
 year         = {2008},
 title        = {Z3: An efficient SMT solver},
 booktitle    = {International conference on Tools and Algorithms for the Construction and Analysis of Systems},
 organization = {Springer},
 pages        = {337--340},
 url          = {https://doi.org/10.1007/978-3-540-78800-3_24},
)
@inproceedings(EEHP04,
 author       = {Hartmut Ehrig and Karsten Ehrig and Annegret Habel and Karl-Heinz Pennemann},
 year         = {2004},
 title        = {Constraints and Application Conditions: From Graphs to High-Level Structures},
 booktitle    = {Graph Transformations, Second International Conference, ICGT 2004, Rome, Italy, September 28 - October 2, 2004, Proceedings},
 series       = {LNCS},
 volume       = {3256},
 publisher    = {Springer},
 pages        = {287--303},
 url          = {https://doi.org/10.1007/978-3-540-30203-2_21},
)
@book(EhrigEPT06,
 author       = {Hartmut Ehrig and Karsten Ehrig and Ulrike Prange and Gabriele Taentzer},
 year         = {2006},
 title        = {Fundamentals of Algebraic Graph Transformation},
 series       = {Monographs in Theoretical Computer Science. An {EATCS} Series},
 publisher    = {Springer},
 url          = {https://doi.org/10.1007/3-540-31188-2},
)
@inproceedings(EHLOG10,
 author       = {Hartmut Ehrig and Annegret Habel and Leen Lambers and Fernando Orejas and Ulrike Golas},
 year         = {2010},
 title        = {Local Confluence for Rules with Nested Application Conditions},
 booktitle    = {Graph Transformations - 5th International Conference, ICGT 2010, Enschede, The Netherlands, September 27 - - October 2, 2010. Proceedings},
 series       = {LNCS},
 volume       = {6372},
 publisher    = {Springer},
 pages        = {330--345},
 url          = {https://doi.org/10.1007/978-3-642-15928-2_22},
)
@inproceedings(el2011relational,
 author       = {El Ghazi, Aboubakr Achraf and Mana Taghdiri},
 year         = {2011},
 title        = {Relational reasoning via SMT solving},
 booktitle    = {International Symposium on Formal Methods},
 organization = {Springer},
 pages        = {133--148},
 url          = {https://doi.org/10.1007/978-3-642-21437-0_12},
)
@inproceedings(ermler2011graph,
 author       = {Marcus Ermler and Hans-J{\"o}rg Kreowski and Sabine Kuske and Caroline von Totth},
 year         = {2011},
 title        = {From graph transformation units via minisat to grgen. net},
 booktitle    = {International Symposium on Applications of Graph Transformations with Industrial Relevance},
 organization = {Springer},
 pages        = {153--168},
 url          = {https://doi.org/10.1007/978-3-642-34176-2_14},
)
@article(GMRZZ12,
 author       = {Amir Hossein Ghamarian and Maarten de Mol and Arend Rensink and Eduardo Zambon and Maria Zimakova},
 year         = {2012},
 title        = {Modelling and analysis using {GROOVE}},
 journal      = {{STTT}},
 volume       = {14},
 number       = {1},
 pages        = {15--40},
 doi          = {10.1007/s10009-011-0186-x},
)
@inproceedings(GonzalezBCC12,
 author       = {Carlos A. Gonz{\'{a}}lez and Fabian B{\"{u}}ttner and Robert Claris{\'{o}} and Jordi Cabot},
 year         = {2012},
 title        = {EMFtoCSP: a tool for the lightweight verification of {EMF} models},
 editor       = {Stefania Gnesi and Stefan Gruner and Nico Plat and Bernhard Rumpe},
 booktitle    = {Proceedings of the First International Workshop on Formal Methods in Software Engineering - Rigorous and Agile Approaches, FormSERA 2012, Zurich, Switzerland, June 2, 2012},
 publisher    = {{IEEE}},
 pages        = {44--50},
 url          = {https://doi.org/10.1109/FormSERA.2012.6229788},
)
@article(HP09,
 author       = {Annegret Habel and Karl-Heinz Pennemann},
 year         = {2009},
 title        = {Correctness of high-level transformation systems relative to nested conditions},
 journal      = {Mathematical Structures in Computer Science},
 volume       = {19},
 number       = {2},
 pages        = {245--296},
 url          = {http://dx.doi.org/10.1017/S0960129508007202},
)
@inproceedings(DBLP:conf/ictac/Heckel05,
 author       = {Reiko Heckel},
 year         = {2005},
 title        = {Stochastic Analysis of Graph Transformation Systems: {A} Case Study in {P2P} Networks},
 booktitle    = {Theoretical Aspects of Computing - {ICTAC} 2005, Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings},
 pages        = {53--69},
 url          = {https://doi.org/10.1007/11560647\_4},
)
@inproceedings(HKT02,
 author       = {Reiko Heckel and Jochen Malte K{\"u}ster and Gabriele Taentzer},
 year         = {2002},
 title        = {Confluence of Typed Attributed Graph Transformation Systems},
 booktitle    = {Graph Transformation, First International Conference, ICGT 2002, Barcelona, Spain, October 7-12, 2002, Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {2505},
 publisher    = {Springer},
 pages        = {161--176},
 url          = {https://doi.org/10.1007/3-540-45832-8_14},
)
@article(HW95,
 author       = {Reiko Heckel and Annika Wagner},
 year         = {1995},
 title        = {Ensuring consistency of conditional graph rewriting - a constructive approach},
 journal      = {Electr. Notes Theor. Comput. Sci.},
 volume       = {2},
 pages        = {118--126},
 url          = {http://dx.doi.org/10.1016/S1571-0661(05)80188-4},
)
@article(Holzmann97,
 author       = {Gerard J. Holzmann},
 year         = {1997},
 title        = {The Model Checker {SPIN}},
 journal      = {{IEEE} Trans. Software Eng.},
 volume       = {23},
 number       = {5},
 pages        = {279--295},
 url          = {https://doi.org/10.1109/32.588521},
)
@inproceedings(IsenbergSW13,
 author       = {Tobias Isenberg and Dominik Steenken and Heike Wehrheim},
 year         = {2013},
 title        = {Bounded Model Checking of Graph Transformation Systems via {SMT} Solving},
 editor       = {Dirk Beyer and Michele Boreale},
 booktitle    = {Formal Techniques for Distributed Systems - Joint {IFIP} {WG} 6.1 International Conference, {FMOODS/FORTE} 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {7892},
 publisher    = {Springer},
 pages        = {178--192},
 url          = {https://doi.org/10.1007/978-3-642-38592-6\_13},
)
@book(Jackson06,
 author       = {Daniel Jackson},
 year         = {2006},
 title        = {Software Abstractions - Logic, Language, and Analysis},
 publisher    = {{MIT} Press},
 url          = {http://mitpress.mit.edu/catalog/item/default.asp?ttype=2\&tid=10928},
)
@inproceedings(KonigE10,
 author       = {Barbara K{\"{o}}nig and Javier Esparza},
 year         = {2010},
 title        = {Verification of Graph Transformation Systems with Context-Free Specifications},
 editor       = {Hartmut Ehrig and Arend Rensink and Grzegorz Rozenberg and Andy Sch{\"{u}}rr},
 booktitle    = {Graph Transformations - 5th International Conference, {ICGT} 2010, Enschede, The Netherlands, September 27 - - October 2, 2010. Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {6372},
 publisher    = {Springer},
 pages        = {107--122},
 url          = {https://doi.org/10.1007/978-3-642-15928-2\_8},
)
@article(KK08,
 author       = {Barbara K{\"{o}}nig and Vitali Kozioura},
 year         = {2008},
 title        = {Augur 2 - {A} New Version of a Tool for the Analysis of Graph Transformation Systems},
 journal      = {Electr. Notes Theor. Comput. Sci.},
 volume       = {211},
 pages        = {201--210},
 url          = {https://doi.org/10.1016/j.entcs.2008.04.042},
)
@inproceedings(Kreowski2010,
 author       = {Hans-J{\"o}rg Kreowski and Sabine Kuske and Robert Wille},
 year         = {2010},
 title        = {Graph transformation units guided by a SAT solver},
 booktitle    = {International Conference on Graph Transformation},
 organization = {Springer},
 pages        = {27--42},
 url          = {https://doi.org/10.1007/978-3-642-15928-2_3},
)
@inproceedings(KuhlmannHG11,
 author       = {Mirco Kuhlmann and Lars Hamann and Martin Gogolla},
 year         = {2011},
 title        = {Extensive Validation of {OCL} Models by Integrating {SAT} Solving into {USE}},
 editor       = {Judith Bishop and Antonio Vallecillo},
 booktitle    = {Objects, Models, Components, Patterns - 49th International Conference, {TOOLS} 2011, Zurich, Switzerland, June 28-30, 2011. Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {6705},
 publisher    = {Springer},
 pages        = {290--306},
 url          = {https://doi.org/10.1007/978-3-642-21952-8\_21},
)
@inproceedings(LBOST18,
 author       = {Leen Lambers and Kristopher Born and Fernando Orejas and Daniel Str{\"{u}}ber and Gabriele Taentzer},
 year         = {2018},
 title        = {Initial Conflicts and Dependencies: Critical Pairs Revisited},
 booktitle    = {Graph Transformation, Specifications, and Nets - In Memory of Hartmut Ehrig},
 series       = {Lecture Notes in Computer Science},
 volume       = {10800},
 publisher    = {Springer},
 pages        = {105--123},
 url          = {https://doi.org/10.1007/978-3-319-75396-6\_6},
)
@inproceedings(LSTBH18,
 author       = {Leen Lambers and Daniel Str{\"u}ber and Gabriele Taentzer and Kristopher Born and Jevgenij Huebert},
 year         = {2018},
 title        = {Multi-Granular Conflict and Dependency Analysis in Software Engineering based on Graph Transformation},
 url          = {https://doi.org/10.1145/3180155.3180258},
 note         = {Accepted for publication in proceedings of Int. Conf. on Software Engineering 2018},
)
@inproceedings(mcquillan2008metamodel,
 author       = {Jacqueline McQuillan and James Power},
 year         = {2008},
 title        = {A metamodel for the measurement of object-oriented systems: An analysis using Alloy},
 booktitle    = {2008 1st International Conference on Software Testing, Verification, and Validation},
 organization = {IEEE},
 pages        = {288--297},
 url          = {https://doi.org/10.1109/icst.2008.58},
)
@article(DBLP:journals/isf/MeghziliCSK19,
 author       = {Said Meghzili and Allaoua Chaoui and Martin Strecker and Elhillali Kerkouche},
 year         = {2019},
 title        = {Verification of Model Transformations Using Isabelle/HOL and Scala},
 journal      = {Information Systems Frontiers},
 volume       = {21},
 number       = {1},
 pages        = {45--65},
 url          = {https://doi.org/10.1007/s10796-018-9860-9},
)
@inproceedings(Min97,
 author       = {Mark Minas},
 year         = {1997},
 title        = {Diagram Editing with Hypergraph Parser Support},
 booktitle    = {Proceedings of the 1997 IEEE Symposium on Visual Languages},
 series       = {VL '97},
 publisher    = {IEEE Computer Society},
 address      = {Washington, DC, USA},
 pages        = {226--},
 doi          = {10.1109/VL.1997.626587},
 url          = {http://dl.acm.org/citation.cfm?id=832278.834445},
)
@inproceedings(nassar2018ocl2ac,
 author       = {Nebras Nassar and Jens Kosiol and Thorsten Arendt and Gabriele Taentzer},
 year         = {2018},
 title        = {OCL2AC: automatic translation of OCL constraints to graph constraints and application conditions for transformation rules},
 booktitle    = {International Conference on Graph Transformation},
 organization = {Springer},
 pages        = {171--177},
 url          = {https://doi.org/10.1007/978-3-319-92991-0_11},
)
@inproceedings(nassar2019constructing,
 author       = {Nebras Nassar and Jens Kosiol and Thorsten Arendt and Gabriele Taentzer},
 year         = {2019},
 title        = {Constructing Optimized Validity-Preserving Application Conditions for Graph Transformation Rules},
 booktitle    = {International Conference on Graph Transformation},
 organization = {Springer},
 pages        = {177--194},
 url          = {https://doi.org/10.1007/978-3-030-23611-3_11},
)
@book(NipkowPW02,
 author       = {Tobias Nipkow and Lawrence C. Paulson and Markus Wenzel},
 year         = {2002},
 title        = {Isabelle/HOL - {A} Proof Assistant for Higher-Order Logic},
 series       = {Lecture Notes in Computer Science},
 volume       = {2283},
 publisher    = {Springer},
 url          = {https://doi.org/10.1007/3-540-45949-9},
)
@phdthesis(Nolteanalysis,
 author       = {Dennis Nolte},
 year         = {2019},
 title        = {Analysis and Abstraction of Graph Transformation Systems via Type Graphs.},
 school       = {University of Duisburg-Essen},
)
@article(Dragom2019,
 author       = {Dennis Nolte},
 year         = {2019},
 title        = {DrAGoM Manual},
 url          = {https://www.uni-due.de/theoinf/research/tools_dragom.php},
)
@inproceedings(Pennemann08,
 author       = {Karl{-}Heinz Pennemann},
 year         = {2008},
 title        = {Resolution-Like Theorem Proving for High-Level Conditions},
 editor       = {Hartmut Ehrig and Reiko Heckel and Grzegorz Rozenberg and Gabriele Taentzer},
 booktitle    = {Graph Transformations, 4th International Conference, {ICGT} 2008, Leicester, United Kingdom, September 7-13, 2008. Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {5214},
 publisher    = {Springer},
 pages        = {289--304},
 url          = {https://doi.org/10.1007/978-3-540-87405-8\_20},
)
@phdthesis(Pennemann2009,
 author       = {Karl{-}Heinz Pennemann},
 year         = {2009},
 title        = {Development of correct graph transformation systems},
 school       = {University of Oldenburg, Germany},
 url          = {https://doi.org/10.1007/978-3-540-87405-8_48},
)
@inproceedings(Plu94,
 author       = {Detlef Plump},
 year         = {1994},
 title        = {{Critical Pairs in Term Graph Rewriting}},
 booktitle    = {Mathematical Foundations of Computer Science},
 series       = {LNCS},
 volume       = {841},
 pages        = {556--566},
 url          = {https://doi.org/10.1007/3-540-58338-6_102},
)
@article(Plu98,
 author       = {Detlef Plump},
 year         = {1998},
 title        = {Termination of Graph Rewriting is Undecidable},
 journal      = {Fundam. Inform.},
 volume       = {33},
 number       = {2},
 pages        = {201--209},
 url          = {https://doi.org/10.3233/fi-1998-33204},
)
@incollection(Plu99,
 author       = {Detlef Plump},
 year         = {1999},
 title        = {{Term Graph Rewriting}},
 booktitle    = {Handbook of Graph Grammars and Computing by Graph Transformation},
 volume       = {2: Applications, Languages and Tools},
 publisher    = {World Scientific},
 pages        = {3--61},
 doi          = {10.1142/9789812815149_0001},
)
@inproceedings(DBLP:conf/birthday/Plump18,
 author       = {Detlef Plump},
 year         = {2018},
 title        = {Modular Termination of Graph Transformation},
 editor       = {Reiko Heckel and Gabriele Taentzer},
 booktitle    = {Graph Transformation, Specifications, and Nets - In Memory of Hartmut Ehrig},
 series       = {Lecture Notes in Computer Science},
 volume       = {10800},
 publisher    = {Springer},
 pages        = {231--244},
 url          = {https://doi.org/10.1007/978-3-319-75396-6\_13},
)
@article(PoskittP12,
 author       = {Christopher M. Poskitt and Detlef Plump},
 year         = {2012},
 title        = {Hoare-Style Verification of Graph Programs},
 journal      = {Fundam. Inform.},
 volume       = {118},
 number       = {1-2},
 pages        = {135--175},
 url          = {https://doi.org/10.3233/FI-2012-708},
)
@article(radke2018translating,
 author       = {Hendrik Radke and Thorsten Arendt and Jan Steffen Becker and Annegret Habel and Gabriele Taentzer},
 year         = {2018},
 title        = {Translating essential OCL invariants to nested graph constraints for generating instances of meta-models},
 journal      = {Science of Computer Programming},
 volume       = {152},
 pages        = {38--62},
 url          = {https://doi.org/10.1016/j.scico.2017.08.006},
)
@article(RS97,
 author       = {J. Rekers and Andy Sch{\"{u}}rr},
 year         = {1997},
 title        = {Defining and Parsing Visual Languages with Layered Graph Grammars},
 journal      = {J. Vis. Lang. Comput.},
 volume       = {8},
 number       = {1},
 pages        = {27--55},
 url          = {https://doi.org/10.1006/jvlc.1996.0027},
)
@inproceedings(RSV04,
 author       = {Arend Rensink and {\'{A}}kos Schmidt and D{\'{a}}niel Varr{\'{o}}},
 year         = {2004},
 title        = {Model Checking Graph Transformations: {A} Comparison of Two Approaches},
 booktitle    = {Graph Transformations, Second International Conference, {ICGT} 2004, Rome, Italy, September 28 - October 2, 2004, Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {3256},
 publisher    = {Springer},
 pages        = {226--241},
 url          = {https://doi.org/10.1007/978-3-540-30203-2_17},
)
@article(RiazanovV02,
 author       = {Alexandre Riazanov and Andrei Voronkov},
 year         = {2002},
 title        = {The design and implementation of {VAMPIRE}},
 journal      = {{AI} Commun.},
 volume       = {15},
 number       = {2-3},
 pages        = {91--110},
 url          = {http://content.iospress.com/articles/ai-communications/aic259},
)
@inproceedings(Rudolf1998,
 author       = {Michael Rudolf},
 year         = {1998},
 title        = {Utilizing constraint satisfaction techniques for efficient graph pattern matching},
 booktitle    = {International Workshop on Theory and Application of Graph Transformations},
 organization = {Springer},
 pages        = {238--251},
 url          = {https://doi.org/10.1007/978-3-540-46464-8_17},
)
@inproceedings(SV03,
 author       = {{\'{A}}kos Schmidt and D{\'{a}}niel Varr{\'{o}}},
 year         = {2003},
 title        = {CheckVML: {A} Tool for Model Checking Visual Modeling Languages},
 booktitle    = {UML 2003 - The Unified Modeling Language, Modeling Languages and Applications, 6th International Conference, San Francisco, CA, USA, October 20-24, 2003, Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {2863},
 publisher    = {Springer},
 pages        = {92--95},
 url          = {https://doi.org/10.1007/978-3-540-45221-8_8},
)
@inproceedings(SchneiderLO17,
 author       = {Sven Schneider and Leen Lambers and Fernando Orejas},
 year         = {2017},
 title        = {Symbolic Model Generation for Graph Properties},
 editor       = {Marieke Huisman and Julia Rubin},
 booktitle    = {Fundamental Approaches to Software Engineering - 20th International Conference, {FASE} 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {10202},
 publisher    = {Springer},
 pages        = {226--243},
 url          = {https://doi.org/10.1007/978-3-662-54494-5\_13},
)
@inproceedings(semerath2019viatra,
 author       = {Oszk{\'a}r Semer{\'a}th and Aren A Babikian and Sebastian Pilarski and D{\'a}niel Varr{\'o}},
 year         = {2019},
 title        = {Viatra solver: a framework for the automated generation of consistent domain-specific models},
 booktitle    = {Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings},
 organization = {IEEE Press},
 pages        = {43--46},
 url          = {https://doi.org/10.1109/icse-companion.2019.00034},
)
@inproceedings(SemerathNV18,
 author       = {Oszk{\'{a}}r Semer{\'{a}}th and Andr{\'{a}}s Szabolcs Nagy and D{\'{a}}niel Varr{\'{o}}},
 year         = {2018},
 title        = {A graph solver for the automated generation of consistent domain-specific models},
 editor       = {Michel Chaudron and Ivica Crnkovic and Marsha Chechik and Mark Harman},
 booktitle    = {Proceedings of the 40th International Conference on Software Engineering, {ICSE} 2018, Gothenburg, Sweden, May 27 - June 03, 2018},
 publisher    = {{ACM}},
 pages        = {969--980},
 url          = {https://doi.org/10.1145/3180155.3180186},
)
@inproceedings(SemerathVV16,
 author       = {Oszk{\'{a}}r Semer{\'{a}}th and Andr{\'{a}}s V{\"{o}}r{\"{o}}s and D{\'{a}}niel Varr{\'{o}}},
 year         = {2016},
 title        = {Iterative and Incremental Model Generation by Logic Solvers},
 editor       = {Perdita Stevens and Andrzej Wasowski},
 booktitle    = {Fundamental Approaches to Software Engineering - 19th International Conference, {FASE} 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {9633},
 publisher    = {Springer},
 pages        = {87--103},
 url          = {https://doi.org/10.1007/978-3-662-49665-7\_6},
)
@inproceedings(sen2008combining,
 author       = {Sagar Sen and Benoit Baudry and Jean-Marie Mottu},
 year         = {2008},
 title        = {On combining multi-formalism knowledge to select models for model transformation testing},
 booktitle    = {2008 1st International Conference on Software Testing, Verification, and Validation},
 organization = {IEEE},
 pages        = {328--337},
 url          = {https://doi.org/10.1109/icst.2008.62},
)
@phdthesis(Steenken2015,
 author       = {Dominik Steenken},
 year         = {2015},
 title        = {Verification of infinite-state graph transformation systems via abstraction.},
 school       = {University of Paderborn},
)
@inproceedings(Steenken2011,
 author       = {Dominik Steenken and Heike Wehrheim and Daniel Wonisch},
 year         = {2011},
 title        = {Sound and complete abstract graph transformation},
 booktitle    = {Brazilian Symposium on Formal Methods},
 organization = {Springer},
 pages        = {92--107},
 url          = {https://doi.org/10.1007/978-3-642-25032-3_7},
)
@article(Strecker18,
 author       = {Martin Strecker},
 year         = {2018},
 title        = {Interactive and automated proofs for graph transformations},
 journal      = {Mathematical Structures in Computer Science},
 volume       = {28},
 number       = {8},
 pages        = {1333--1362},
 url          = {https://doi.org/10.1017/S096012951800021X},
)
@incollection(varro2018towards,
 author       = {D{\'a}niel Varr{\'o} and Oszk{\'a}r Semer{\'a}th and G{\'a}bor Sz{\'a}rnyas and {\'A}kos Horv{\'a}th},
 year         = {2018},
 title        = {Towards the automated generation of consistent, diverse, scalable and realistic graph models},
 booktitle    = {Graph Transformation, Specifications, and Nets},
 publisher    = {Springer},
 pages        = {285--312},
 url          = {https://doi.org/10.1007/978-3-319-75396-6_16},
)
@inproceedings(VVE+06,
 author       = {D{\'a}niel Varr{\'o} and Varr{\'o}-Gyapay, Szilvia and Hartmut Ehrig and Ulrike Prange and Gabriele Taentzer},
 year         = {2006},
 title        = {Termination Analysis of Model Transformations by Petri Nets},
 booktitle    = {Graph Transformations, Third International Conference, ICGT 2006, Natal, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings},
 series       = {LNCS},
 volume       = {4178},
 publisher    = {Springer},
 pages        = {260--274},
 url          = {https://doi.org/10.1007/11841883_19},
)
@article(wu2012metamodel,
 author       = {Hao Wu and Rosemary Monahan and James F Power},
 year         = {2012},
 title        = {Metamodel instance generation: A systematic literature review},
 journal      = {arXiv preprint arXiv:1211.6322},
)
@inproceedings(Wu2013exploiting,
 author       = {Hao Wu and Rosemary Monahan and James F Power},
 year         = {2013},
 title        = {Exploiting attributed type graphs to generate metamodel instances using an SMT solver},
 booktitle    = {2013 International Symposium on Theoretical Aspects of Software Engineering},
 organization = {IEEE},
 pages        = {175--182},
 url          = {https://doi.org/10.1109/tase.2013.31},
)