@incollection(Henshin2010,
 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 Transformations}},
 booktitle    = {MODELS 2010},
 series       = {LNCS},
 volume       = {6394},
 publisher    = {Springer},
 pages        = {121--135},
 doi          = {10.1007/978-3-642-16145-2\_9},
)
@inproceedings(DBLP:conf/sac/BaloghV06,
 author       = {Andr{\'{a}}s Balogh and D{\'{a}}niel Varr{\'{o}}},
 year         = {2006},
 title        = {{Advanced Model Transformation Language Constructs in the {VIATRA2} Framework}},
 booktitle    = {SAC 2006},
 publisher    = {ACM},
 pages        = {1280--1287},
 doi          = {10.1145/1141277.1141575},
)
@article(DBLP:journals/apal/Borger05,
 author       = {Egon B{\"{o}}rger},
 year         = {2005},
 title        = {{Abstract State Machines: a Unifying View of Models of Computation and of System Design Frameworks}},
 journal      = {Ann. Pure Appl. Logic},
 volume       = {133},
 number       = {1-3},
 pages        = {149--171},
 doi          = {10.1016/j.apal.2004.10.007},
)
@inproceedings(DBLP:conf/icalp/CorradiniHM00,
 author       = {Andrea Corradini and Reiko Heckel and Ugo Montanari},
 year         = {2000},
 title        = {{Graphical Operational Semantics}},
 booktitle    = {{ICALP} Satellite Workshops},
 pages        = {411--418},
)
@techreport(vDHP12b1,
 author       = {Markus von Detten and Christian Heinzemann and Marie Christin Platenius and Jan Rieke and Dietrich Travkin and Stephan Hildebrandt},
 year         = {2012},
 title        = {{Story Diagrams - Syntax and Semantics}},
 type         = {Technical Report},
 institution  = {University of Paderborn},
)
@book(Fundamentals,
 author       = {Hartmut Ehrig and Karsten Ehrig and Ulrike Prange and Gabriele Taentzer},
 year         = {2006},
 title        = {Fundamentals of Algebraic Graph Transformation},
 publisher    = {Springer-Verlag New York, Inc.},
 address      = {Secaucus, NJ, USA},
 doi          = {10.1007/3-540-31188-2},
)
@inproceedings(DBLP:conf/uml/EngelsHHS00,
 author       = {Gregor Engels and Jan Hendrik Hausmann and Reiko Heckel and Stefan Sauer},
 year         = {2000},
 title        = {{Dynamic Meta Modeling: {A} Graphical Approach to the Operational Semantics of Behavioral Diagrams in {UML}}},
 booktitle    = {UML 2000},
 series       = {LNCS},
 volume       = {1939},
 publisher    = {Springer},
 pages        = {323--337},
 doi          = {10.1007/3-540-40011-7\_23},
)
@article(DBLP:journals/sttt/GhamarianMRZZ12,
 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},
)
@article(statechart,
 author       = {David Harel and Amnon Naamad},
 year         = {1996},
 title        = {The STATEMATE Semantics of Statecharts},
 journal      = {ACM Trans. Softw. Eng. Methodol.},
 volume       = {5},
 number       = {4},
 pages        = {293--333},
 doi          = {10.1145/235321.235322},
)
@inproceedings(DBLP:conf/fase/HeckelS01,
 author       = {Reiko Heckel and Stefan Sauer},
 year         = {2001},
 title        = {{Strengthening {UML} Collaboration Diagrams by State Transformations}},
 booktitle    = {FASE 2001},
 series       = {LNCS},
 volume       = {2029},
 publisher    = {Springer},
 pages        = {109--123},
 doi          = {10.1007/3-540-45314-8\_9},
)
@article(DBLP:journals/entcs/HeckelZ01,
 author       = {Reiko Heckel and Albert Z{\"{u}}ndorf},
 year         = {2001},
 title        = {{How to Specify a Graph Transformation Approach - {A} Meta Model for Fujaba}},
 journal      = {Electr. Notes Theor. Comput. Sci.},
 volume       = {44},
 number       = {4},
 pages        = {41--51},
 doi          = {10.1016/S1571-0661(04)80942-3},
)
@incollection(adgratra2,
 author       = {Stefan Jurack and Leen Lambers and Katharina Mehner and Gabriele Taentzer and Gerd Wierse},
 year         = {2009},
 title        = {Object Flow Definition for Refined Activity Diagrams},
 booktitle    = {FASE 2009},
 series       = {LNCS},
 volume       = {5503},
 publisher    = {Springer Berlin Heidelberg},
 pages        = {49--63},
 doi          = {10.1007/978-3-642-00593-0\_4},
)
@inproceedings(Knieke04,
 author       = {Christoph Knieke and Ursula Goltz},
 year         = {2010},
 title        = {An Executable Semantics for UML 2 Activity Diagrams},
 booktitle    = {Proc. of FML},
 publisher    = {ACM},
 address      = {New York, NY, USA},
 pages        = {3:1--3:5},
 doi          = {10.1145/1943397.1943400},
)
@inproceedings(DBLP:conf/birthday/KreowskiKR08,
 author       = {Hans-J{\"{o}}rg Kreowski and Sabine Kuske and Grzegorz Rozenberg},
 year         = {2008},
 title        = {{Graph Transformation Units - An Overview}},
 booktitle    = {Concurrency, Graphs and Models},
 series       = {LNCS},
 volume       = {5065},
 publisher    = {Springer},
 pages        = {57--75},
 doi          = {10.1007/978-3-540-68679-8\_5},
)
@inproceedings(DBLP:conf/rta/LoweB93,
 author       = {Michael L{\"{o}}we and Martin Beyer},
 year         = {1993},
 title        = {{{AGG} - An Implementation of Algebraic Graph Rewriting}},
 editor       = {Claude Kirchner},
 booktitle    = {RTA-93},
 series       = {LNCS},
 volume       = {690},
 publisher    = {Springer},
 pages        = {451--456},
 doi          = {10.1007/978-3-662-21551-7\_36},
)
@article(DBLP:journals/jlp/Plotkin04a,
 author       = {Gordon D. Plotkin},
 year         = {2004},
 title        = {{A Structural Approach to Operational Semantics}},
 journal      = {J. Log. Algebr. Program.},
 volume       = {60-61},
 pages        = {17--139},
 doi          = {10.1016/j.jlap.2004.03.009},
)
@book(Handbook,
 editor       = {Grzegorz Rozenberg},
 year         = {1997},
 title        = {Handbook of Graph Grammars and Computing by Graph Transformation: Volume I. Foundations},
 publisher    = {World Scientific Publishing Co., Inc.},
 address      = {River Edge, NJ, USA},
)
@article(MDE,
 author       = {Douglas C. Schmidt},
 year         = {2006},
 title        = {Guest Editor's Introduction: Model-Driven Engineering},
 journal      = {Computer},
 volume       = {39},
 number       = {2},
 pages        = {25--31},
 doi          = {10.1109/MC.2006.58},
)
@incollection(Schurr1999,
 author       = {Andy Sch{\"{u}}rr and A. J. Winter and Albert Z{\"{u}}ndorf},
 year         = {1999},
 title        = {{The PROGRES-Approach: Language and Environment}},
 booktitle    = {Handbook of Graph Grammars and Computing by Graph Transformation, Vol. 2},
 publisher    = {World Scientific},
 pages        = {487--550},
 doi          = {10.1142/9789812815149\_0013},
)
@inproceedings(StorrleH05,
 author       = {Harald St{\"{o}}rrle and Jan Hendrik Hausmann},
 year         = {2005},
 title        = {Towards a Formal Semantics of {UML} 2.0 Activities},
 booktitle    = {SE 2005, Fachtagung des GI-Fachbereichs Softwaretechnik},
 pages        = {117--128},
)
@article(UjhelyiBHHIRSV15,
 author       = {Zolt{\'{a}}n Ujhelyi and G{\'{a}}bor Bergmann and {\'{A}}bel Heged{\"{u}}s and {\'{A}}kos Horv{\'{a}}th and Benedek Izs{\'{o}} and Istv{\'{a}}n R{\'{a}}th and Zolt{\'{a}}n Szatm{\'{a}}ri and D{\'{a}}niel Varr{\'{o}}},
 year         = {2015},
 title        = {{EMF-IncQuery: An Integrated Development Environment for Live Model Queries}},
 journal      = {SCP},
 volume       = {98},
 number       = {1},
 pages        = {80--99},
 doi          = {10.1016/j.scico.2014.01.004},
)
@phdthesis(Zundorf2002,
 author       = {Albert Z{\"{u}}ndorf},
 year         = {2002},
 title        = {{Rigorous Object Oriented Software Development}},
 type         = {Habilitation thesis, draft version 0.3},
 school       = {University of Paderborn},
)