@inproceedings{Agrawal2003,
  author = {Agrawal, Aditya},
  title = {Metamodel based model transformation language},
  booktitle = {OOPSLA'03},
  publisher = {ACM Press},
  year = {2003},
  pages = {386--387}
}

@article{Agrawal2006,
  author = {Agrawal, Aditya and Karsai, Gabor and Kalmar, Zsolt and Neema, Sandeep and Shi, Feng and Vizhanyo, Attila},
  title = {The Design of a Language for Model Transformations},
  journal = {SoSym},
  year = {2006},
  volume = {5},
  number = {3},
  pages = {261--288}
}

@inproceedings{AlAbed2009,
  author = {Al Abed, Wisam and Kienzle, Jörg},
  title = {Aspect-Oriented Modeling and Information Hiding},
  booktitle = {Aspect-Oriented Modeling Workshop},
  year = {2009},
  pages = {1--6}
}

@article{Alur1994,
  author = {Alur, Rajeev and Dill, David L.},
  title = {A Theory of Timed Automata},
  journal = {TCS},
  year = {1994},
  volume = {126},
  pages = {183--235}
}

@inproceedings{Amelunxen2006,
  author = {Amelunxen, Carsten and Königs, Alexander and Rötschke, Tobias and Schürr, Andy},
  title = {MOFLON: A Standard-Compliant Metamodeling Framework with Graph Transformations},
  booktitle = {Model Driven Architecture - Foundations and Applications: Second European Conference},
  publisher = {Springer-Verlag},
  year = {2006},
  volume = {4066},
  pages = {361--375}
}

@article{Andries1999,
  author = {Andries, Marc and Engels, Gregor and Habel, Annegret and Hoffmann, Berthold and Kreowski, Hans-Jörg and Kuske, Sabine and Plump, Detelf and Schürr, Andy and Taentzer, Gabriele},
  title = {Graph Transformation for Specification and Programming},
  journal = {SCP},
  publisher = {Elsevier North-Holland, Inc.},
  year = {1999},
  volume = {34},
  number = {1},
  pages = {1--54}
}

@inproceedings{Arendt2010,
  author = {Arendt, Thorsten and Biermann, Enrico and Jurack, Stefan and Krause, Christian and Taentzer, Gabriele},
  title = {Henshin: Advanced Concepts and Tools for In-Place EMF Model Transformations},
  booktitle = {MoDELS'10},
  publisher = {Springer},
  year = {2010},
  volume = {6394},
  pages = {121--135}
}

@inproceedings{Asztalos2010,
  author = {Asztalos, Márk and Syriani, Eugene and Wimmer, Manuel and Kessentini, Marouane},
  title = {Towards Rule Composition},
  booktitle = {Multi-Paradigm Modeling (best paper)},
  year = {2010}
}

@inproceedings{Atkinson2005,
  author = {Atkinson, Colin and Kühne, Thomas},
  title = {Concepts for comparing modeling tool architecture},
  booktitle = {MoDELS/UML'05},
  publisher = {Springer Verlag},
  year = {2005},
  volume = {3713},
  pages = {398--413}
}

@book{Atkinson2007,
  author = {Atkinson, Colin and Kühne, Thomas},
  title = {A tour of language customization concepts},
  journal = {Advances in Computers},
  publisher = {Academic Press, Elsevier},
  year = {2007},
  volume = {70},
  pages = {105--161}
}

@manual{ATLVM2005,
  author = {ATLAS group and LINA and INRIA Nantes},
  title = {Specification of the ATL Virtual Machine},
  year = {2005},
  url = {http://www.eclipse.org/m2m/atl/doc/}
}

@book{Baader1999,
  author = {Baader, Franz and Nipkow, Tobias},
  title = {Term rewriting and all that},
  publisher = {Cambridge Univ Press},
  year = {1999}
}

@inproceedings{Baldan2008,
  author = {Baldan, Paolo and Corradini, Andrea and Dotti, Fernando Luís and Foss, Luciana and Gadducci, Fabio and Ribeiro, Leila},
  title = {Towards a Notion of Transaction in Graph Rewriting},
  booktitle = {GT-VMT'08},
  year = {2008},
  volume = {211},
  pages = {39--50}
}

@inproceedings{Baldan2006,
  author = {Baldan, Paolo and Corradini, Andrea and Foss, Luciana and Gadducci, Fabio},
  title = {Graph Transactions as Processes},
  booktitle = {ICGT'06},
  publisher = {Springer-Verlag},
  year = {2006},
  volume = {4178},
  pages = {199--214}
}

@inproceedings{Balogh2006,
  author = {Balogh, András and Varró, Dániel},
  title = {Pattern Composition in Graph Transformation Rules},
  booktitle = {European Workshop on Composition of Model Transformations},
  year = {2006}
}

@inproceedings{Balogh2006a,
  author = {Balogh, András and Varró, Dániel},
  title = {Advanced Model Transformation Language Constructs in the VIATRA2 Framework},
  booktitle = {SAC'06},
  publisher = {ACM Press},
  year = {2006},
  pages = {1280--1287}
}

@inproceedings{Barroca2010,
  author = {Barroca, Bruno and Lúcio, Levi and Amaral, Vasco and Felix, Roberto and Sousa, Vasco},
  title = {DSLTrans: A Turing Incomplete Transformation Language},
  booktitle = {SLE'10},
  publisher = {Springer},
  year = {2010}
}

@inproceedings{Battiti2007,
  author = {Battiti, Roberto and Mascia, Franco},
  title = {An Algorithm Portfolio for the Sub-graph Isomorphism Problem},
  booktitle = {Engineering Stochastic Local Search Algorithms: Designing, Implementing and Analyzing Effective Heuristics},
  publisher = {Springer},
  year = {2007},
  volume = {4638},
  pages = {106--120}
}

@techreport{Batz2006,
  author = {Batz, Gernot Veit},
  title = {An Optimization Technique for Subgraph Matching Strategies},
  year = {2006},
  number = {2006-7}
}

@inproceedings{Bergmann2008,
  author = {Bergmann, Gábor and Ökrös, András and Ráth, István and Varró, Dániel and Varró, Gergely},
  title = {Incremental Pattern Matching in the VIATRA Model Transformation System},
  booktitle = {GRaMot'08},
  year = {2008}
}

@inproceedings{Bergmann2008a,
  author = {Bergmann, Gábor and Horváth, Ákos and Ráth, István and Varró, Dániel},
  title = {A Benchmark Evaluation of Incremental Pattern in Graph Transformation},
  booktitle = {ICGT'08},
  year = {2008}
}

@book{Birtwistle1979,
  author = {Birtwistle, Graham M.},
  title = {DEMOS: Discrete Event Modelling on SIMULA},
  publisher = {MacMillan Press},
  year = {1979}
}

@article{Birtwistle1993,
  author = {Birtwistle, Graham M. and Tofts, Chris},
  title = {Denotational Semantics for Process-Based Simulation Languages. Part 1: piDemos},
  journal = {TSMS},
  year = {1993}
}

@article{Birtwistle1993a,
  author = {Birtwistle, Graham M. and Tofts, Chris},
  title = {Operational Semantics of Process-Oriented Simulation Languages Part 1: piDemos},
  journal = {TSCS},
  year = {1993},
  volume = {10},
  number = {4},
  pages = {299--333}
}

@techreport{Blostein1995,
  author = {Blostein, Dorothea and Fahmy, Hoda and Grbavec Ann},
  title = {Practical Use of Graph Rewriting},
  year = {1995},
  number = {95-373}
}

@inproceedings{Blostein1996,
  author = {Blostein, Dorothea and Fahmy, Hoda and Grbavec, Ann},
  title = {Issues in the Practical Use of Graph Rewriting},
  booktitle = {Selected papers from the 5th International Workshop on Graph Grammars and Their Application to Computer Science},
  publisher = {Springer-Verlag},
  year = {1996},
  volume = {1073},
  pages = {38--55}
}

@article{Blostein1999,
  author = {Blostein, Dorothea and Schürr, Andy},
  title = {Computing with Graphs and Graph Rewriting},
  journal = {SPE},
  year = {1999},
  volume = {9},
  number = {3},
  pages = {1--21}
}

@techreport{Bolduc2001,
  author = {Bolduc, Jean-Sébastien and Vangheluwe, Hans},
  title = {The Modelling and Simulation Package pythonDEVS for Classical Hierarchical DEVS},
  year = {2001},
  pages = {22}
}

@inproceedings{Boronat2010,
  author = {Boronat, Artur and Ölveczky, Peter},
  title = {Formal Real-Time Model Transformations in MOMENT2},
  booktitle = {Fundamental Approaches to Software Engineering},
  publisher = {Springer},
  year = {2010},
  volume = {6013},
  pages = {29--43}
}

@inproceedings{Brambilla2005,
  author = {Brambilla, M and Ceri, S and Comai, S and Tziviskou, C},
  title = {Exception Handling in Workflow-Driven Web Applications},
  booktitle = {14th International World Wide Web Conference},
  year = {2005},
  pages = {170--180}
}

@inproceedings{Brucker2006,
  author = {Brucker, Achim D. and Doser, Jürgen and Wolff, Burkhart},
  title = {A Model Transformation Semantics and Analysis Methodology for SecureUML},
  booktitle = {MoDELS'06},
  publisher = {Springer Berlin},
  year = {2006},
  volume = {4199},
  pages = {306--320}
}

@inproceedings{Bunke1991,
  author = {Bunke, H and Glauser, T and Tran, T-H.},
  title = {An efficient implementation of graph grammars based on the RETE matching algorithm},
  booktitle = {Graph Grammars and Their Application to Computer Science},
  publisher = {Springer},
  year = {1991},
  volume = {532}
}

@inproceedings{Busatto2001,
  author = {Busatto, Giorgio and Hoffmann, Berthold},
  title = {Comparing Notions of Hierarchical Graph Transformation},
  booktitle = {GT-VMT'01},
  year = {2001},
  volume = {50},
  number = {3}
}

@article{Bohm1966,
  author = {Böhm, Corrado and Jacopini, Giuseppe},
  title = {Flow diagrams, turing machines and languages with only two formation rules},
  journal = {Communications of the ACM},
  year = {1966},
  volume = {9},
  number = {5},
  pages = {366--371}
}

@inproceedings{B'ezivin2006,
  author = {Bézivin, Jean and Büttner, Fabian and Gogolla, Martin and Jouault, Frédéric and Kurtev, Ivan and Lindow, Arne},
  title = {Model transformations? Transformation models!},
  booktitle = {MoDELS'06},
  publisher = {Springer Verlag},
  year = {2006},
  volume = {4199},
  pages = {440--453}
}

@inproceedings{Bezivin2003,
  author = {Bézivin, Jean and Farcet, Nicolas and Jézéquel, Jean-Marc and Langlois, Benoît and Pollet, Damien},
  title = {Reflective model driven engineering},
  booktitle = {UML'03},
  publisher = {Springer},
  year = {2003},
  volume = {2863},
  pages = {175--189}
}

@misc{Bezivin2005,
  author = {Bézivin, Jean and Rumpe, Bernhard and Tratt, Laurence},
  title = {Model Transformation in Practice Workshop Announcement},
  booktitle = {MoDELS'05},
  year = {2005}
}

@article{Cameron1984,
  author = {Cameron, Robert D. and Ito, M. Robert},
  title = {Grammar-Based Definition of Metaprogramming Systems},
  journal = {ACM Transactions on Programming Languages and Systems (TOPLAS)},
  publisher = {ACM},
  year = {1984},
  volume = {6},
  number = {1},
  pages = {20--54}
}

@inproceedings{Chen1978,
  author = {Chen, Liming and Avizienis, Algirdas},
  title = {N-Version Programming: A Fault Tolerance Approach to Reliability of Software Operation},
  booktitle = {Fault-Tolerant Computing 1995, Highlights from Twenty-Five Years},
  journal = {8th Int. Symp. on Fault-Tolerant Computing (FTCS-8)},
  publisher = {IEEE Computer Society Press},
  year = {1978},
  pages = {3--9}
}

@inproceedings{Cheon2004,
  author = {Cheon, Saehoon and Seo, Chungman and Park, Sunwoo and Zeigler, Bernard P.},
  title = {Design and Implementation of Distributed DEVS Simulation in a Peer to Peer Network System},
  booktitle = {ASTC'04},
  publisher = {Society for Modeling and Simulation International},
  year = {2004},
  pages = {18--22}
}

@article{Chomsky1951,
  author = {Chomsky, Noam},
  title = {On the notion rule of grammar},
  journal = {American Mathematical Society},
  year = {1951},
  volume = {12},
  pages = {6--24}
}

@article{Chow1996,
  author = {Chow, Alex Chung-Hen and Zeigler, Bernard P.},
  title = {Parallel DEVS: a parallel, hierarchical, modular modeling formalism},
  journal = {TSCS},
  year = {1996},
  volume = {13},
  pages = {55--67}
}

@inproceedings{Cicchetti2008,
  author = {Cicchetti, Antonio and Di Ruscio, Davide and Eramo, R and Pierantonio, Alfonso},
  title = {Automating co-evolution in model-driven engineering},
  booktitle = {EDOC'08},
  publisher = {IEEE Computer Society},
  year = {2008},
  pages = {222--231}
}

@article{Sansone2004,
  author = {Cordella, Luidgi and Foggia, Pasquale and Sansone, Carlo and Vento, Mario},
  title = {A (sub)graph isomorphism algorithm for matching large graphs},
  journal = {TPAMI},
  year = {2004},
  volume = {26},
  number = {10},
  pages = {1367--1372}
}

@book{Cormen2000,
  author = {Cormen, Thomas H. and Leiserson, Charles E. and Rivest, Ronald L.},
  title = {Introduction to Algorithms},
  publisher = {MIT Press},
  year = {2000}
}

@article{Corradini1996,
  author = {Corradini, Andrea and Montanari, Ugo and Rossi, Francesca},
  title = {Graph Processes},
  journal = {Fundamenta Informaticae},
  year = {1996},
  volume = {26},
  number = {3/4},
  pages = {241--265}
}

@article{Costagliola2002,
  author = {Costagliola, Gennaro and De Lucia, Andrea and Orefice, Sergio and Polese, Giuseppe},
  title = {A Classification Framework to Support the Design of Visual Languages},
  journal = {JVLC},
  year = {2002},
  volume = {13},
  number = {6},
  pages = {573--600}
}

@article{Crane2007,
  author = {Crane, Michelle L. and Dingel, Juergen},
  title = {UML vs. classical vs. rhapsody statecharts: not all models are created equal},
  journal = {SoSym},
  year = {2007},
  volume = {6},
  number = {4},
  pages = {399--422}
}

@article{Cs'ardi2006,
  author = {Csárdi, Gábor and Nepusz, Tamás},
  title = {The igraph software package for complex network research},
  journal = {InterJournal Complex Systems},
  year = {2006},
  volume = {1695},
  url = {igraph.sourceforge.net}
}

@article{Cuadrado2008,
  author = {Cuadrado, Jes/'us Sánchez and Molina, Jes/'us Garc/'ia},
  title = {Modularization of model transformations through a phasing mechanism},
  journal = {SoSym},
  year = {2008}
}

@article{Czarnecki2006,
  author = {Czarnecki, Krzysztof and Helsen, Simon},
  title = {Feature-Based Survey of Model Transformation Approaches},
  journal = {IBM Systems Journal, special issue on Model-Driven Software Development},
  year = {2006},
  volume = {45},
  number = {3},
  pages = {621--645}
}

@inproceedings{Czarnecki2003,
  author = {Czarnecki, Krzysztof and Helsen, Simon},
  title = {Classification of model transformation approaches},
  booktitle = {OOPSLA'03 Workshop on the Generative Techniques in the Context of Model-Driven Architecture},
  year = {2003}
}

@article{Dahl2002,
  author = {Dahl, Ole-Johan},
  title = {The roots of object orientation: the Simula language},
  journal = {Software pioneers},
  publisher = {Springer-Verlag New York, Inc.},
  year = {2002},
  pages = {78--90}
}

@article{Dahl1966,
  author = {Dahl, Ole-Johan and Nygaard, Kristen},
  title = {SIMULA: an ALGOL-based simulation language},
  journal = {Communications of ACM},
  publisher = {ACM},
  year = {1966},
  volume = {9},
  number = {9},
  pages = {671--678}
}

@inproceedings{Dalal1999,
  author = {Dalal, S. R. and Jain, A. and Karunanithi, N. and Leaton, J. M. and Lott, C. M. and Patton, G. C. and Horowitz, B. M.},
  title = {Model-based testing in practice},
  booktitle = {International Conference on Software Engineering (ICSE'99)},
  publisher = {ACM Press},
  year = {1999},
  pages = {285--294}
}

@book{Devroye1986,
  author = {Devroye, Luc},
  title = {Non-Uniform Random Variate Generation},
  publisher = {Springer-Verlag},
  year = {1986}
}

@inproceedings{Dony1990,
  author = {Dony, Christophe},
  title = {Exception Handling and Object-Oriented Programming: Towards a Synthesis},
  booktitle = {ECOOP'90},
  publisher = {ACM Press},
  year = {1990},
  volume = {25},
  pages = {322--330}
}

@article{Drewes2002,
  author = {Drewes, Frank and Hoffmann, Berthold and Plump, Detelf},
  title = {Hierarchical Graph Transformation},
  journal = {JCSS},
  year = {2002},
  volume = {64},
  pages = {249--283}
}

@inproceedings{Duddy2003,
  author = {Duddy, Keith and Gerber, Anna and Lawley, Michael and Raymond, Kerry and Steel, Jim},
  title = {Model Transformation: A declarative, reusable patterns approach},
  booktitle = {EDOC},
  publisher = {IEEE Computer Society},
  year = {2003},
  pages = {174--185}
}

@misc{QVTo,
  author = {Dvorak, Radomil},
  title = {Model transformation with Operational QVT},
  booktitle = {EclipseCon'08},
  year = {2008}
}

@inproceedings{Edelkamp2007,
  author = {Edelkamp, Stefan and Rensink, Arend},
  title = {Graph Transformation and AI Planning},
  booktitle = {Knowledge Engineering Competition},
  year = {2007}
}

@article{Ehrig2006a,
  author = {Ehrig, Hartmut and Ehrig, Karsten and Habel, Annegret and Pennemann, Karl-Heinz},
  title = {Theory of Constraints and Application Conditions: From Graphs to High-Level Structures},
  journal = {Fundamenta Informaticae},
  year = {2006},
  volume = {74},
  number = {1},
  pages = {135--166}
}

@book{Ehrig2006,
  author = {Ehrig, Hartmut and Ehrig, Karsten and Prange, Ulrike and Taentzer, Gabriele},
  title = {Fundamentals of Algebraic Graph Transformation},
  publisher = {Springer-Verlag},
  year = {2006},
  pages = {388}
}

@book{Ehrig1999,
  author = {Ehrig, Hartmut and Engels, Gregor and Kreowski, Hans-Jörg and Rozenberg, Grzegorz},
  title = {Handbook of graph grammars and computing by graph transformation, Volume 2: Applications, Languages and Tools},
  publisher = {World Scientific Publishing Co., Inc.},
  year = {1999}
}

@book{Ehrig1997,
  author = {Ehrig, Hartmut and Engels, Gregor and Kreowski, Hans-Jörg and Rozenberg, Grzegorz},
  title = {Handbook of graph grammars and computing by graph transformation, Volume 1: Foundations},
  publisher = {World Scientific Publishing Co., Inc.},
  year = {1997}
}

@inproceedings{Ehrig1991,
  author = {Ehrig, Hartmut and Korff, Martin and Löwe, Michael},
  title = {Tutorial Introduction to the Algebraic Approach of Graph Grammars Based on Double and Single Pushouts},
  booktitle = {4th International Workshop on Graph-Grammars and Their Application to Computer Science},
  publisher = {Springer-Verlag},
  year = {1991},
  pages = {24--37}
}

@book{Ehrig1999a,
  author = {Ehrig, Hartmut and Kreowski, Hans-Jörg and Montanari, Ugo and Rozenberg, Grzegorz},
  title = {Handbook of graph grammars and computing by graph transformation, Volume 3: Concurrency, Parallelism and Distribution},
  publisher = {World Scientific Publishing Co., Inc.},
  year = {1999}
}

@inproceedings{Ehrig2004,
  author = {Ehrig, Hartmut and Prange, Ulrike and Taentzer, Gabriele},
  title = {Fundamental Theory for Typed Attributed Graph Transformation},
  booktitle = {ICGT'04},
  publisher = {Springer-Verlag},
  year = {2004},
  volume = {3256},
  pages = {161--177}
}

@article{Ehrig2009,
  author = {Ehrig, Karsten and Küster, Jochen and Taentzer, Gabriele},
  title = {Generating instance models from meta models},
  journal = {Journal on Software and Systems Modeling},
  publisher = {Springer Berlin / Heidelberg},
  year = {2009},
  volume = {8},
  pages = {479--500}
}

@inproceedings{Engel2006,
  author = {Engel, Klaus-D. and Paige, Richard and Kolovos, Dimitrios},
  title = {Using a Model Merging Language for Reconciling Model Versions},
  booktitle = {Model Driven Architecture-Foundations and Applications},
  publisher = {Springer},
  year = {2006},
  volume = {4066},
  pages = {143--157}
}

@inproceedings{Ermel2006,
  author = {Ermel, Claudia and Ehrig, Karsten and Taentzer, Gabriele and Weiss, Eduard},
  title = {Object Oriented and Rule-based Design of Visual Languages using Tiger},
  booktitle = {GraBaTs'06},
  year = {2006},
  volume = {1},
  pages = {1--13}
}

@inbook{Ermel1999,
  author = {Ermel, Claudia and Rudolf, Michael and Taentzer, Gabriele},
  title = {Handbook of Graph Grammars and Computing by Graph Transformation, volume 2: Applications, Languages and Tools},
  publisher = {World Scientific},
  year = {1999}
}

@inproceedings{Falleri2006,
  author = {Falleri, Jean-Rémy and Huchard, Marianne and Nebut, Clémentine},
  title = {Towards a Traceability Framework for Model Transformations in Kermeta},
  booktitle = {ECMDA-TW'06},
  publisher = {HAL-CCSd-CNRS},
  year = {2006},
  pages = {31--40}
}

@inproceedings{Favre2006,
  author = {Favre, Jean-Marie},
  title = {Megamodelling and Etymology},
  booktitle = {Transformation Techniques in Software Engineering},
  publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI)},
  year = {2006},
  number = {5161}
}

@article{Filippi2004,
  author = {Filippi, Jean-Baptiste and Bisgambiglia, Paul},
  title = {JDEVS: an implementation of a DEVS based formal framework for environmental modelling},
  journal = {Environmental Modelling and Software},
  year = {2004},
  volume = {19},
  number = {3},
  pages = {261--274}
}

@inproceedings{Fischer2000,
  author = {Fischer, Thorsten and Niere, Jörg and Turunski, Lars and Zündorf, Albert},
  title = {Story diagrams: A new graph rewrite language based on the Unified Modelling Language and Java},
  booktitle = {Theory and Application of Graph Transformations},
  publisher = {Springer-Verlag},
  year = {2000},
  volume = {1764},
  pages = {296--309}
}

@inproceedings{Foggia2001,
  author = {Foggia, Pasquale and Sansone, Carlo and Vento, Mario},
  title = {A Database of Graphs for Isomorphism and Sub Graph Isomorphism Benchmarking},
  booktitle = {Workshop on Graph-Based Representation in Pattern Recognition},
  year = {2001},
  pages = {176--188}
}

@article{Forgy1982,
  author = {Forgy, Charles L.},
  title = {Rete: A fast algorithm for the many pattern/many object pattern match problem},
  journal = {Artificial Intelligence},
  year = {1982},
  volume = {19},
  number = {1},
  pages = {17--37}
}

@book{Fowler1999,
  author = {Fowler, Martin},
  title = {Refactoring: Improving the Design of Existing Code},
  publisher = {Addison-Wesley},
  year = {1999},
  pages = {464}
}

@misc{SmartQVT,
  author = {France Telecom R&D},
  title = {SmartQVT},
  year = {2008}
}

@misc{Performance-url2010,
  author = {Fulgham, Brent},
  year = {2010}
}

@book{Gamma1994,
  author = {Gamma, Erich and Helm, Richard and Johnson, Ralph and Vlissides, John},
  title = {Design Patterns: Elements of Reusable Object-Oriented Software},
  publisher = {AddisonWesley Professional},
  year = {1994}
}

@inproceedings{QVT2003,
  author = {Gardner, Tracy and Griffin, Catherine and Koehler, Jana and Hauser, Rainer},
  title = {A review of OMG MOF 2.0 Query / Views / Transformations Submissions and Recommendations towards the final standard},
  booktitle = {1st MetaModelling for MDA Workshop},
  year = {2003},
  pages = {178--197}
}

@inproceedings{Geiss2006,
  author = {Gei Rubino and Batz, Gernot Veit and Grund, Daniel and Hack, Sebastian and Szalkowski, Adam},
  title = {GrGen: A Fast SPO-Based Graph Rewriting Tool},
  booktitle = {ICGT'06},
  publisher = {Springer-Verlag},
  year = {2006},
  volume = {4178},
  pages = {383--397}
}

@inproceedings{Geiger2006,
  author = {Geiger, Leif and Zündorf, Albert},
  title = {Tool Modeling with Fujaba},
  booktitle = {FoVMT'04},
  year = {2006},
  volume = {148},
  number = {1},
  pages = {173--186}
}

@inproceedings{Giese2006,
  author = {Giese, Holger and Wagner, Robert},
  title = {Incremental Model Synchronization with Triple Graph Grammars},
  booktitle = {MoDELS'06},
  publisher = {Springer-Verlag},
  year = {2006},
  volume = {4199},
  pages = {543--557}
}

@article{Goodenough1975,
  author = {Goodenough, John B.},
  title = {Exception Handling: Issues and a Proposed Notation},
  journal = {Communications of the ACM},
  year = {1975},
  volume = {18},
  number = {12},
  pages = {683--696}
}

@book{Gordon1977,
  author = {Gordon, Geoffrey},
  title = {System Simulation},
  publisher = {Prentice Hall of India},
  year = {1977},
  edition = {2nd edition}
}

@inproceedings{Graaf2007,
  author = {Graaf, Bas and van Deursen, Arie},
  title = {Using MDE for generic comparison of views},
  booktitle = {Models in Software Engineering},
  publisher = {INRIA},
  year = {2007}
}

@inbook{Gray2007,
  author = {Gray, Jeff and Tolvanen, Juha-Pekka and Kelly, Steven Gokhale, Aniruddha and Neema, Sandeep and Sprinkle, Jonathan},
  title = {Domain-Specific Modeling},
  publisher = {Chapman & Hall/CRC},
  year = {2007},
  pages = {1--20}
}

@mastersthesis{Greenyer2006,
  author = {Greenyer, Joel},
  title = {Reconciling TGGs with QVT},
  school = {Universität Paderborn},
  year = {2006}
}

@phdthesis{Griswold1991,
  author = {Griswold, William G.},
  title = {Program Restructuring as an Aid to Software Maintenance},
  school = {University of Washington},
  year = {1991}
}

@inproceedings{Grunske2005,
  author = {Grunske, Lars and Geiger, Leif and Lawley, Michael},
  title = {A Graphical Specification of Model Transformations with Triple Graph Grammars},
  booktitle = {Model Driven Architecture - Foundations and Applications},
  publisher = {Springer-Verlag},
  year = {2005},
  volume = {3748},
  pages = {284--298}
}

@inbook{Grunske2005a,
  author = {Grunske, Lars and Geiger, Leif and Zündorf, Albert and Van Eetvelde, Niels and Van Gorp, Pieter and Varró, Dániel},
  title = {Model-driven software development},
  publisher = {Springer},
  year = {2005},
  volume = {Part I},
  pages = {91--117}
}

@inproceedings{Guerra2005,
  author = {Guerra, Esther and Díaz, Paloma and de Lara, Juan},
  title = {A Formal Approach to the Generation of Visual Language Environments Supporting Multiple Views},
  booktitle = {VL/HCC'2005},
  publisher = {IEEE Computer Society},
  year = {2005},
  pages = {284-286}
}

@inproceedings{Guerra2004,
  author = {Guerra, Esther and de Lara, Juan},
  title = {Event-Driven Grammars: Towards the Integration of Meta-modelling and Graph Transformation},
  booktitle = {ICGT'04},
  publisher = {Springer-Verlag},
  year = {2004},
  volume = {3256},
  pages = {54--69}
}

@inproceedings{Guerra2007a,
  author = {Guerra, Esther and de Lara, Juan},
  title = {Adding Recursion to Graph Transformation},
  booktitle = {GT-VMT 2007},
  year = {2007},
  volume = {6}
}

@article{Guerra2007,
  author = {Guerra, Esther and de Lara, Juan},
  title = {Event-Driven Grammars: Relating Abstract and Concrete Levels of Visual Languages},
  journal = {SoSym},
  year = {2007},
  volume = {6},
  number = {6},
  pages = {317--347}
}

@inproceedings{Guerra2006,
  author = {Guerra, Esther and de Lara, Juan},
  title = {Model View Management with Triple Graph Transformation Systems},
  booktitle = {ICGT'06},
  publisher = {Springer-Verlag},
  year = {2006},
  volume = {4178},
  pages = {351--366}
}

@inproceedings{Gyapay2002,
  author = {Gyapay, Szilvia and Heckel, Reiko and Varró, Dániel},
  title = {Graph Transformation with Time: Causality and Logical Clocks},
  booktitle = {ICGT'02},
  publisher = {Springer-Verlag},
  year = {2002},
  volume = {2505},
  pages = {120--134}
}

@article{Habel1996,
  author = {Habel, Annegret and Heckel, Reiko and Taentzer, Gabriele},
  title = {Graph grammars with negative application conditions},
  journal = {Fundamenta Informaticae},
  year = {1996},
  volume = {26},
  number = {3--4},
  pages = {287 - 313}
}

@inproceedings{Habel2004,
  author = {Habel, Annegret and Hoffmann, Berthold},
  title = {Parallel Independence in Hierarchical Graph Transformation},
  booktitle = {ICGT'04},
  year = {2004},
  number = {3256},
  pages = {178–193}
}

@inproceedings{Habel2001,
  author = {Habel, Annegret and Plump, Detelf},
  title = {Computational Completeness of Programming Languages Based on Graph Transformation},
  booktitle = {Foundations of Software Science and Compution Structures (FoSSaCS)},
  publisher = {Springer-Verlag},
  year = {2001},
  volume = {2030},
  pages = {230--245}
}

@inproceedings{Hagberg2008,
  author = {Hagberg, Aric A. and Schult, Daniel A. and Swart, Pieter J.},
  title = {Exploring network structure, dynamics, and function using NetworkX},
  booktitle = {SciPy'08},
  year = {2008},
  pages = {11--15},
  url = {http://math.lanl.gov/~hagberg/Papers/hagberg-2008-exploring.pdf}
}

@article{Harel2004,
  author = {Harel, David and Rumpe, Bernhard},
  title = {Meaningful Modeling: What's the Semantics of "Semantics"?},
  journal = {Computer},
  publisher = {IEEE Computer Society Press},
  year = {2004},
  volume = {37},
  number = {10},
  pages = {64--72}
}

@techreport{Harel2000,
  author = {Harel, David and Rumpe, Bernhard},
  title = {Modeling Languages: Syntax, Semantics and All That Stuff, Part I: The Basic Stuff},
  publisher = {Weizmann Science Press of Israel},
  year = {2000}
}

@article{Hart1968,
  author = {Hart, Peter E. and Nilsson, Nils J. and Raphael, Bertram},
  title = {A Formal Basis for the Heuristic Determination of Minimum Cost Paths},
  journal = {IEEE Transactions on Systems Science and Cybernetics},
  year = {1968},
  volume = {4},
  number = {3},
  pages = {100--107}
}

@inproceedings{Hausmann2002,
  author = {Hausmann, Jan Hendrik and Heckel, Reiko and Taentzer, Gabriele},
  title = {Detection of Conflicting Functional Requirements in a Use Case-Driven Approach},
  booktitle = {ICSE'02},
  publisher = {ACM},
  year = {2002},
  pages = {105--115}
}

@inproceedings{Heckel2006,
  author = {Heckel, Reiko},
  title = {Graph Transformation in a Nutshell},
  booktitle = {Proceedings of the School on Foundations of Visual Modelling Techniques (FoVMT 2004) of the SegraVis Research Training Network},
  publisher = {Elsevier},
  year = {2006},
  volume = {148},
  pages = {187--198}
}

@inproceedings{Heckel2002,
  author = {Heckel, Reiko and Küster, Jochen Malte and Taentzer, Gabriele},
  title = {Confluence of Typed Attributed Graph Transformation Systems},
  booktitle = {ICGT 2002},
  publisher = {Springer-Verlag},
  year = {2002},
  volume = {2505},
  pages = {161--176}
}

@inproceedings{Heckel2004,
  author = {Heckel, Reiko and Lajios, Georgios and Menge, Sebastian},
  title = {Stochastic Graph Transformation Systems},
  booktitle = {ICGT'04},
  publisher = {Springer},
  year = {2004},
  volume = {3256},
  pages = {243--246}
}

@inproceedings{Heidenreich2010,
  author = {Heidenreich, Florian and Kopcsek, Jan and Assmann, Uwe},
  title = {Safe Composition of Transformation},
  booktitle = {ICMT'10},
  publisher = {Springer-Verlag},
  year = {2010},
  volume = {6142},
  pages = {108--122}
}

@inproceedings{Himsolt1994,
  author = {Michael Himsolt},
  title = {Hierarchical Graphs for Graph Grammars},
  booktitle = {Workshop on Graph Grammars},
  year = {1994},
  pages = {67--70}
}

@article{Hong1997,
  author = {Hong, Joon Sung and Song, Hae-Sang and Kim, Tag Gon and Park, Kyu Ho},
  title = {A Real-Time Discrete Event System Specification Formalism for Seamless Real-Time Software Development},
  journal = {DEDS},
  publisher = {Kluwer},
  year = {1997},
  volume = {7},
  pages = {355--375}
}

@inproceedings{Hunicke2005,
  author = {Hunicke, Robin},
  title = {The Case for Dynamic Difficulty Adjustment in Games},
  booktitle = {Proccedings of the ACM SIGCHI International Conference on Advances in Computer Entertainment technology},
  publisher = {ACM},
  year = {2005},
  pages = {429--433}
}

@misc{Igraph,
  author = {igraph.sourceforge.net},
  title = {Igraph Library v0.5.3},
  year = {2009},
  url = {igraph.sourceforge.net}
}

@phdthesis{Jouault2006a,
  author = {Jouault, Frédéric},
  title = {Contribution à l'étude des langages de transformation de modèles},
  school = {Université de Nantes},
  year = {2006}
}

@inproceedings{Jouault2005,
  author = {Jouault, Frédéric},
  title = {Loosely coupled traceability for ATL},
  booktitle = {ECMDA Workshop on Traceability},
  year = {2005}
}

@article{Jouault2008,
  author = {Jouault, Frédérick and Allilaire, Freddy and Bézivin, Jean and Kurtev, Ivan},
  title = {ATL: A model transformation tool},
  journal = {Science of Computer Programming, Special Issue on Second issue of experimental software and toolkits (EST)},
  year = {2008},
  volume = {72},
  number = {1-2},
  pages = {31--39}
}

@article{Jouault2007,
  author = {Jouault, Frédérick and Kurtev, Ivan},
  title = {On the interoperability of model-to-model transformation languages},
  journal = {Science of Computer Programming, Special Issue on Model Transformation},
  year = {2007},
  volume = {68},
  number = {3},
  pages = {114--137}
}

@inproceedings{Jouault2006,
  author = {Jouault, Frédéric and Kurtev, Ivan},
  title = {Transforming Models with ATL},
  booktitle = {MTiP'05},
  publisher = {Springer-Verlag},
  year = {2006},
  volume = {3844},
  pages = {128--138}
}

@inproceedings{Jurjens2002,
  author = {Jürjens, Jan},
  title = {UMLsec: Extending UML for Secure Systems Development},
  booktitle = {UML'02},
  publisher = {Springer Verlag},
  year = {2002},
  volume = {2460},
  number = {12},
  pages = {412--425}
}

@inproceedings{Jurjens2005,
  author = {Jürjens, Jan and Fox, Jorge},
  title = {Introducing Security Aspects with Model Transformation},
  booktitle = {ECBS'05},
  publisher = {IEEE Computer Society},
  year = {2005},
  pages = {543--549}
}

@inproceedings{Kalnins2005,
  author = {Kalnins, Audris and Barzdins, Janis and Celms, Edgars},
  title = {Model Transformation Language MOLA},
  booktitle = {ECMDA-FA'05},
  publisher = {Springer},
  year = {2005},
  volume = {3599},
  pages = {62--76}
}

@inproceedings{Kessentini2010,
  author = {Kessentini, Marouane and Wimmer, Manuel and Sahraoui, Houari and Boukadoum, Mounir},
  title = {Generating transformation rules from examples for behavioral models},
  booktitle = {Workshop on Behaviour Modelling: Foundation and Applications (BM-FA '10)},
  publisher = {ACM},
  year = {2010},
  pages = {21--27}
}

@inproceedings{Kiczales1997,
  author = {Kiczales, Gregor and Lamping, John and Mendhekar, Anurag and Maeda, Chris and Videira-Lopes, Cristina and Loingtier, Jean-Marc and Irwin, John},
  title = {Aspect-Oriented Programming},
  booktitle = {ECOOP},
  publisher = {Springer-Verlag},
  year = {1997},
  volume = {1241},
  pages = {220--242}
}

@inproceedings{Kienzle2009,
  author = {Kienzle, Jörg and Al Abed, Wisam and Klein, Jacques},
  title = {Aspect-Oriented Multi-View Modeling},
  booktitle = {AOSD'09},
  publisher = {ACM Press},
  year = {2009},
  pages = {87--98}
}

@inproceedings{Kiesel1995,
  author = {Kiesel, Norbert and Schürr, Andy and Westfechtel, Bernhard},
  title = {GRAS: A Graph-Oriented Software Engineering Database System},
  booktitle = {Information Systems},
  publisher = {Elsevier Science Ltd.},
  year = {1995},
  volume = {20},
  number = {1},
  pages = {21--52}
}

@inproceedings{Kilov1990,
  author = {Kilov, Haim},
  title = {From semantic to object-oriented data modeling},
  booktitle = {First International Conference on System Integration},
  year = {1990},
  pages = {385--393}
}

@techreport{Kindler2007,
  author = {Kindler, Ekkart and Wagner, Robert},
  title = {Triple Graph Grammars: Concepts, Extensions, Implementations, and Application Scenarios},
  year = {2007},
  number = {D-33098}
}

@inproceedings{Klar2007,
  author = {Klar, Felix and Königs, Alexander and Schürr, Andy},
  title = {Model transformation in the large},
  booktitle = {Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering},
  publisher = {ACM},
  year = {2007},
  pages = {285--294}
}

@inproceedings{Klein2007,
  author = {Klein, Jacques and Kienzle, Jörg},
  title = {Reusable Aspect Models},
  booktitle = {Aspect-Oriented Modeling Workshop},
  year = {2007}
}

@techreport{Klein1999,
  author = {Klein, Thomas and Nickel, Ulrich and Niere, Jörg and Zündorf, Albert},
  title = {From UML to Java And Back Again},
  year = {1999},
  number = {tr-ri-00-216}
}

@book{Kleppe2003,
  author = {Kleppe, Anneke G. and Warmer, Jos and Bast, Wim},
  title = {MDA Explained. The Model Driven Architecture: Practice And Promise},
  publisher = {Addison-Wesley},
  year = {2003}
}

@inproceedings{Knirsch2002,
  author = {Knirsch, Peter and Kuske, Sabine},
  title = {Distributed Graph Transformation Units},
  booktitle = {ICGT'02},
  publisher = {Springer},
  year = {2002},
  volume = {2505},
  pages = {207--222}
}

@inproceedings{Kolovos2006,
  author = {Kolovos, Dimitrios and Paige, Richard and Polack, Fiona},
  title = {Merging Models with the Epsilon Merging Language (EML)},
  booktitle = {MoDELS'06},
  publisher = {Springer},
  year = {2006},
  volume = {4199},
  pages = {215--229}
}

@article{Krasner1988,
  author = {Krasner, Glenn E. and Pope, Stephen T.},
  title = {A cookbook for using the model-view-controller user interface paradigm in Smalltalk-80},
  journal = {Journal of Object-Oriented Programming},
  year = {1988},
  volume = {1},
  number = {3},
  pages = {26--49}
}

@article{Krissinel2004,
  author = {Krissinel, Evgeny B. and Henrick, Kim},
  title = {Common subgraph isomorphism detection by backtracking search},
  journal = {SPE},
  year = {2004},
  volume = {34},
  number = {6},
  pages = {591--607}
}

@inproceedings{Konigs2005,
  author = {Königs, Alexander},
  title = {Model Transformation with Triple Graph Grammars},
  booktitle = {Model Transformations in Practice Satellite Workshop of MoDELS'05},
  year = {2005}
}

@inproceedings{Konigs2006a,
  author = {Königs, Alexander and Schürr, Andy},
  title = {Tool Integration with Triple Graph Grammars - A Survey},
  booktitle = {Proceedings of the SegraVis School on Foundations of Visual Modelling Techniques},
  publisher = {Elsevier Science Publishers},
  year = {2006},
  volume = {148},
  pages = {113--150}
}

@article{Konigs2006,
  author = {Königs, Alexander and Schürr, Andy},
  title = {MDI: A Rule-based Multi-document and Tool Integration Approach},
  journal = {SoSym},
  year = {2006},
  volume = {5},
  number = {20},
  pages = {349--368}
}

@article{Kuhne2006,
  author = {Kühne, Thomas},
  title = {Clarifying Matters of (Meta-)Modeling},
  journal = {SoSym},
  year = {2006},
  volume = {5},
  number = {4},
  pages = {395--401}
}

@article{Kuhne2006a,
  author = {Kühne, Thomas},
  title = {Matters of (Meta-)Modeling},
  journal = {SoSym},
  year = {2006},
  volume = {5},
  number = {4},
  pages = {369--385}
}

@inproceedings{Kuhne2010,
  author = {Kühne, Thomas and Mezei, Gergely and Syriani, Eugene and Vangheluwe, Hans and Wimmer, Manuel},
  title = {Explicit Transformation Modeling},
  booktitle = {MODELS 2009 Workshops},
  publisher = {Springer},
  year = {2010},
  volume = {6002},
  pages = {240--255}
}

@article{Kuhne2009,
  author = {Kühne, Thomas and Mezei, Gergely and Syriani, Eugene and Vangheluwe, Hans and Wimmer, Manuel},
  title = {Systematic Transformation Development},
  booktitle = {3rd International Workshop on Multi-Paradigm Modeling (best paper)},
  journal = {ECEASST},
  year = {2009},
  volume = {21}
}

@article{Kuster2006,
  author = {Küster, Jochen Malte},
  title = {Definition and validation of model transformations},
  journal = {SoSym},
  year = {2006},
  volume = {5},
  number = {3},
  pages = {233--259}
}

@inproceedings{Lambers2005,
  author = {Lambers, Leen},
  title = {A New Version of GTXL : An Exchange Format for Graph Transformation Systems},
  booktitle = {GraBaTs'04},
  year = {2005},
  volume = {127},
  number = {1},
  pages = {51--63}
}

@inproceedings{Lambers2008a,
  author = {Lambers, Leen and Ehrig, Hartmut and Orejas, Fernando},
  title = {Efficient Conflict Detection in Graph Transformation Systems by Essential Critical Pairs},
  booktitle = {GT-VMT'06},
  year = {2008},
  volume = {211},
  pages = {17--26}
}

@inproceedings{Lambers2006,
  author = {Lambers, Leen and Ehrig, Hartmut and Orejas, Fernando},
  title = {Conflict Detection for Graph Transformation with Negative Application Conditions},
  booktitle = {ICGT'06},
  publisher = {Springer-Verlag},
  year = {2006},
  volume = {4178},
  pages = {61--76}
}

@inproceedings{Lambers2008,
  author = {Lambers, Leen and Ehrig, Hartmut and Taentzer, Gabriele},
  title = {Sufficient Criteria for Applicability and Non-Applicability of Rule Sequences},
  booktitle = {GT-VMT'08},
  year = {2008},
  volume = {10},
  pages = {137--150}
}

@article{Lara2007,
  author = {de Lara, Juan and Bardohlb, Roswitha and Ehrig, Hartmut and Ehrig, Karsten and Prange, Ulrike and Taentzer, Gabriele},
  title = {Attributed graph transformation with node type inheritance},
  journal = {Theoretical Computer Science Journal},
  year = {2007},
  volume = {376},
  number = {3},
  pages = {139--163}
}

@inproceedings{Lara2008,
  author = {de Lara, Juan and Guerra, Esther},
  title = {Pattern-based Model-to-Model Transformation},
  booktitle = {ICGT'08},
  year = {2008},
  volume = {5214},
  pages = {427--441}
}

@inproceedings{Lara2007a,
  author = {de Lara, Juan and Guerra, Esther and Bottoni, Paolo},
  title = {Triple Patterns: Compact Specifications for the Generation of Operational Triple Graph Grammar Rules},
  booktitle = {GT-VMT'07},
  year = {2007},
  volume = {6}
}

@inproceedings{Lara2008a,
  author = {de Lara, Juan and Vangheluwe, Hans},
  title = {Translating Model Simulators to Analysis Models},
  booktitle = {FASE'08},
  publisher = {Springer-Verlag},
  year = {2008},
  volume = {4961},
  pages = {77--92}
}

@inproceedings{Lara2002,
  author = {de Lara, Juan and Vangheluwe, Hans},
  title = {AToM$^3$: A Tool for Multi-formalism and Meta-Modelling},
  booktitle = {FASE'02},
  publisher = {Springer-Verlag},
  year = {2002},
  volume = {2306},
  pages = {174--188}
}

@article{Lara2010,
  author = {de Lara, Juan and Vangheluwe, Hans},
  title = {Automating the transformation-based analysis of visual languages},
  journal = {Formal Aspects of Computing},
  publisher = {Springer},
  year = {2010},
  volume = {22},
  number = {3-4},
  pages = {297--326}
}

@article{Lara2004,
  author = {de Lara, Juan and Vangheluwe, Hans},
  title = {Defining visual notations and their manipulation through meta-modelling and graph transformation},
  journal = {JVLC},
  year = {2004},
  volume = {15},
  number = {3--4},
  pages = {309--330}
}

@inproceedings{Lara2002a,
  author = {de Lara, Juan and Vangheluwe, Hans and Moreno, Manuel Alfonseca},
  title = {Using Meta-Modelling and Graph Grammars to Create Modelling Environments},
  booktitle = {GT-VMT'02},
  publisher = {Elsevier},
  year = {2002},
  volume = {72},
  number = {3},
  pages = {36--50}
}

@article{Lara2004a,
  author = {de Lara, Juan and Vangheluwe, Hans and Moreno, Manuel Alfonseca},
  title = {Meta-Modelling and Graph Grammars for Multi-Paradigm Modelling in AToM$^3$},
  journal = {SoSym},
  publisher = {Springer-Verlag},
  year = {2004},
  volume = {3},
  number = {3},
  pages = {194--209}
}

@article{Larrosa2002,
  author = {Larrosa, Javier and Valiente, Gabriel},
  title = {Constraint satisfaction algorithms for graph pattern matching},
  journal = {Mathematical Structures in Computer Science},
  year = {2002},
  volume = {12},
  pages = {403--422}
}

@inproceedings{Lawley2006,
  author = {Lawley, Michael and Steel, Jim},
  title = {Practical Declarative Model Transformation with Tefkat},
  booktitle = {Satellite Events at the MoDELS'05 Conference},
  publisher = {Springer-Verlag},
  year = {2006},
  volume = {3844},
  pages = {139--150}
}

@inbook{Leach2007,
  author = {Leach, Andrew R. and Gillet, Valerie J.},
  title = {An Introduction to Chemoinformatics},
  publisher = {Springer},
  year = {2007},
  pages = {1--25}
}

@article{Lee2004,
  author = {Lee, Jong-Keun and Lim, Ye-Hwan and Chi, Sung-Do},
  title = {Hierarchical Modeling and Simulation Environment for Intelligent Transportation Systems},
  journal = {Simulation},
  year = {2004},
  volume = {80},
  number = {2},
  pages = {61--76}
}

@article{Lengyel2006,
  author = {Lengyel, Laszló and Levendovszky, Tihamér and Mezei, Gergely and Charaf, Hassan},
  title = {Model Transformation with a Visual Control Flow Language},
  journal = {IJCS},
  year = {2006},
  volume = {1},
  number = {1},
  pages = {45--53}
}

@inproceedings{Lengyel2005,
  author = {Lengyel, Laszló and Levendovszky, Tihamér and Mezei, Gergely and Charaf, Hassan},
  title = {Control Flow Support in Metamodel-Based Model Transformation Frameworks},
  booktitle = {EUROCON'05},
  publisher = {IEEE},
  year = {2005},
  pages = {595--598}
}

@inproceedings{Levendovszky2005,
  author = {Levendovszky, Tihamér and Charaf, Hassan},
  title = {Pattern Matching in Metamodel-Based Model Transformation Systems},
  booktitle = {Periodica Polytechnica Electrical Engineering},
  year = {2005},
  volume = {49},
  number = {1-2},
  pages = {87--108}
}

@inproceedings{Levendovszky2005a,
  author = {Levendovszky, Tihamér and Lengyel, Lázló and Charaf, Hassan},
  title = {A UML class diagram-based pattern language for model transformation systems},
  booktitle = {WSEAS'05},
  publisher = {World Scientific and Engineering Academy and Society},
  year = {2005},
  volume = {4},
  pages = {190--195}
}

@article{Levendovszky2009,
  author = {Levendovszky, Tihamér and Lengyel, Lázló and Mészáros, Tamás},
  title = {Supporting domain-specific model patterns with metamodeling},
  journal = {SoSym},
  year = {2009},
  volume = {8},
  number = {4},
  pages = {501--520}
}

@inproceedings{Lingas1981,
  author = {Lingas, Andrzej},
  title = {Certain algorithms for subgraph isomorphism problems},
  booktitle = {CAAP'81},
  publisher = {Springer},
  year = {1981},
  volume = {112},
  pages = {290--307}
}

@book{Lyu1995,
  author = {Lyu, Michael R},
  title = {Software Fault Tolerance},
  booktitle = {Software Fault Tolerance},
  publisher = {John Wiley & Sons},
  year = {1995}
}

@inproceedings{Mannadiar2010,
  author = {Mannadiar, Raphael and Vangheluwe, Hans},
  title = {Modular Synthesis of Mobile Device Applications from Domain-Specific Models},
  booktitle = {7th Model-based Methodologies for Pervasive and Embedded Software workshop},
  year = {2010}
}

@inproceedings{Manning2006,
  author = {Manning, Greg and Plump, Detelf},
  title = {The York Abstract Machine},
  booktitle = {GT-VMT'06},
  year = {2006},
  volume = {211}
}

@inproceedings{Manning2008,
  author = {Manning, Greg and Plump, Detelf},
  title = {The GP Programming System},
  booktitle = {GT-VMT'08},
  year = {2008},
  volume = {10},
  pages = {235--247}
}

@inproceedings{McBrien1999,
  author = {Mc Brien, Peter and Poulovassi, Alexandra},
  title = {Automatic Migration and Wrapping of Database Applications - A Schema Transformation Approach},
  booktitle = {Conceptual Modeling ER'99},
  publisher = {Springer-Verlag},
  year = {1999},
  volume = {1782},
  pages = {99--114}
}

@book{Mehlhorn1984,
  author = {Mehlhorn, Kurt},
  title = {Graph Algorithms and NP-Completeness},
  publisher = {Springer},
  year = {1984},
  volume = {2},
  pages = {260}
}

@article{Menger1952,
  author = {Menger, Karl},
  title = {You Will Like Geometry},
  journal = {American Journal of Physics},
  year = {1952},
  volume = {20},
  pages = {521--521}
}

@inproceedings{Mens2005,
  author = {Mens, Tom and Taentzer, Gabriele and Runge, Olga},
  title = {Detecting Structural Refactoring Conflicts Using Critical Pair Analysis},
  booktitle = {SETra'04)},
  publisher = {Elsevier},
  year = {2005},
  volume = {127},
  number = {3},
  pages = {113--128}
}

@inproceedings{Mens2006,
  author = {Mens, Tom and Van Gorp, Pieter},
  title = {A Taxonomy of Model Transformation},
  booktitle = {GraMoT'05},
  year = {2006},
  volume = {152},
  pages = {125--142}
}

@inproceedings{Mens2006a,
  author = {Mens, Tom and Van Gorp, Pieter and Varró, Dániel and Karsai, Gábor},
  title = {Applying a Model Transformation Taxonomy to Graph Transformation Technology},
  booktitle = {GraMoT'05},
  year = {2006},
  volume = {152},
  pages = {143--159}
}

@inproceedings{Mezei2007,
  author = {Mezei, Gergely and Juhász, Sándor and Levendovszky, Tihamér},
  title = {A distribution technique for graph rewriting and model transformation systems.},
  booktitle = {Parallel and Distributed Computing and Networks},
  publisher = {IASTED/ACTA Press},
  year = {2007},
  pages = {63--68}
}

@inproceedings{Mezei2006,
  author = {Mezei, Gergely and Levendovszky, Tihamér and Charaf, Hassan},
  title = {Visual Presentation Solution for Domain Specific Languages},
  booktitle = {IASTED on SE},
  year = {2006},
  pages = {194--199}
}

@article{Minas2006,
  author = {Minas, Mark},
  title = {Generating meta-model-based freehand editors},
  journal = {ECEASST},
  publisher = {GraBaTs'06},
  year = {2006},
  volume = {1},
  pages = {1--13}
}

@inproceedings{Morin2007,
  author = {Morin, Brice and Barais, Olivier and Jézéquel, Jean-Marc and Ramos, Rodrigo},
  title = {Towards a Generic Aspect-Oriented Modeling Framework},
  booktitle = {Models and Aspects workshop, at ECOOP'07},
  year = {2007}
}

@article{Mosterman2004,
  author = {Mosterman, Pieter J. and Vangheluwe, Hans},
  title = {Computer Automated Multi-Paradigm Modeling: An Introduction},
  journal = {Simulation: Transactions of The Society for Modeling and Simulation International},
  year = {2004},
  volume = {80},
  number = {9},
  pages = {433--450}
}

@misc{Muliawan2005,
  author = {Muliawan, Olaf and Schippers, Hans and Van Gorp, Pieter},
  title = {Model driven, Template based, Model Transformer (MoTMoT)},
  year = {2005}
}

@techreport{Muller2007,
  author = {Müller, Jens and Gei Rubino},
  title = {Speeding up Graph Transformation through Automatic Concatenation of Rewrite Rules},
  year = {2007},
  number = {76131}
}

@article{Navarro-Prieto2001,
  author = {Navarro-Prieto,Raquel and Cañas, Jose J.},
  title = {Are visual programming languages better? The role of imagery in program comprehension},
  journal = {International Journal of Human-Computer Studies},
  year = {2001},
  volume = {54},
  number = {6},
  pages = {799--829}
}

@misc{NetworkX,
  author = {networkx.lanl.gov},
  title = {NetworkX v1.1},
  year = {2010}
}

@inproceedings{Nickel2000,
  author = {Nickel, Ulrich and Niere, Jörg and Zündorf, Albert},
  title = {The FUJABA environment},
  booktitle = {ICSE'00},
  publisher = {ACM Press},
  year = {2000},
  pages = {742--745}
}

@manual{UML2009,
  author = {Object Management Group},
  title = {Unified Modeling Language Superstructure},
  year = {2009},
  edition = {2.2},
  url = {http://www.omg.org/spec/UML/2.2/Superstructure/PDF/}
}

@manual{QVT2008,
  author = {Object Management Group},
  title = {Meta Object Facility 2.0 Query/View/Transformation Specification},
  year = {2008}
}

@manual{MOF2006,
  author = {Object Management Group},
  title = {Meta Object Facility 2.0 Core Specification},
  year = {2006}
}

@manual{OCL2006,
  author = {Object Management Group},
  title = {Object Constraint Language},
  year = {2006}
}

@manual{MDA2003,
  author = {Object Management Group},
  title = {MDA Guide Version 1.0.1},
  year = {2003}
}

@inproceedings{Parisi-Presicce1993,
  author = {Parisi-Presicce, Francesco},
  title = {Single vs. double pushout derivations of graphs},
  booktitle = {Graph-Theoretic Concepts in Computer Science},
  publisher = {Springer},
  year = {1993},
  volume = {657},
  pages = {248--262}
}

@inproceedings{Pint'er2005,
  author = {Pintér, Gergely and Majzik, István},
  title = {Modeling and Analysis of Exception Handling by Using UML Statecharts},
  booktitle = {FIDJI'04)},
  publisher = {Springer},
  year = {2005},
  volume = {3409},
  pages = {58--67}
}

@article{Pratt1971,
  author = {Pratt, Terrence W.},
  title = {Pair Grammars, Graph Languages and String-to-Graph Translations},
  journal = {JCSS},
  year = {1971},
  volume = {5},
  number = {6},
  pages = {560--595}
}

@misc{atl-examples,
  author = {Eclipse Modeling Project},
  title = {ATL Transformations},
  year = {2010}
}

@misc{Xpand2010,
  author = {Eclipse Modeling Project},
  title = {Xpand},
  year = {2010}
}

@mastersthesis{Provost2005,
  author = {Provost, Marc},
  title = {Himesis: A Hierarchical Subgraph Matching Kernel for Model Driven Development},
  school = {McGill University},
  year = {2005}
}

@inproceedings{Radermacher1998,
  author = {Radermacher, Ansgar},
  title = {Distribution of Applications with Graph Transformation Tools},
  booktitle = {TAGT'98},
  publisher = {Springer-Verlag},
  year = {1998},
  volume = {1764}
}

@inbook{Randell1995,
  author = {Randell, Brian and Xu, Jie},
  title = {The Evolution of the Recovery Block Concept},
  year = {1995},
  pages = {1--25}
}

@inproceedings{Ranger2007,
  author = {Ranger, Ulrike and Hermes, Thorsten},
  title = {Ensuring Consistency Within Distributed Graph Transformation Systems},
  booktitle = {FASE'07},
  publisher = {Springer},
  year = {2007},
  volume = {4422},
  pages = {368--382}
}

@inproceedings{Reiter2007,
  author = {Reiter, Thomas and Wimmer, Manuel and Kargl, Horst},
  title = {Towards a runtime model based on colored Petri-nets for the execution of model transformations},
  booktitle = {Workshop on Models and Aspects - Handling Crosscutting Concerns in MDSD},
  year = {2007},
  pages = {19--23}
}

@inproceedings{Rensink2004,
  author = {Rensink, Arend},
  title = {The GROOVE Simulator: A Tool for State Space Generation},
  booktitle = {AGTIVE'03)},
  publisher = {Springer-Verlag},
  year = {2004},
  volume = {3062},
  pages = {479--485}
}

@inproceedings{Rensink2009,
  author = {Rensink, Arend and Kuperus, Jan-Hendrik},
  title = {Repotting the Geraniums: On Nested Graph Transformation Rules},
  booktitle = {GT-VMT'09},
  year = {2009},
  volume = {18}
}

@inproceedings{Rivera2009,
  author = {Rivera, José Eduardo and Guerra, Esther and de Lara, Juan and Vallecillo, Antonio},
  title = {Analyzing Rule-Based Behavioral Semantics of Visual Modeling Languages with Maude},
  booktitle = {Software Language Engineering},
  publisher = {Springer},
  year = {2009},
  volume = {5452},
  pages = {54--73}
}

@inproceedings{Romeikat2008,
  author = {Romeikat, Raphael and Roser, Stephan and Müllender, Pascal and Bauer, Bernhard},
  title = {Translation of QVT Relations into QVT Operational Mappings},
  booktitle = {ICMT'08},
  publisher = {Springer},
  year = {2008},
  volume = {5063},
  pages = {137--151}
}

@inproceedings{Rudolf1998,
  author = {Rudolf, Michael},
  title = {Utilizing Constraint Satisfaction Techniques for Efficient Graph Pattern Matching},
  booktitle = {TAGT'98, Selected Papers},
  publisher = {Springer},
  year = {1998},
  volume = {1764},
  pages = {381--394}
}

@inproceedings{Sarkar1998,
  author = {Sarkar, Medha Shukla and Blostein, Dorothea and Cordy, James R.},
  title = {GXL - A Graph Transformation Language with Scoping and Graph Parameters},
  booktitle = {TAGT'98},
  publisher = {Springer-Verlag},
  year = {1998}
}

@article{Schurr1997,
  author = {Schürr, Andy},
  title = {Programmed Graph Replacement Systems},
  journal = {Handbook of Graph Grammars and Computing by Graph Transformation},
  year = {1997},
  volume = {1},
  pages = {479--546}
}

@inproceedings{Schurr2008,
  author = {Schürr, Andy and Klar, Felix},
  title = {15 Years of Triple Graph Grammars},
  booktitle = {ICGT'08},
  year = {2008},
  volume = {5214},
  pages = {411--425}
}

@inproceedings{Schurr1995,
  author = {Schürr, Andy and Winter, Andreas J. and Zündorf, Albert},
  title = {Graph Grammar Engineering with PROGRES},
  booktitle = {5th European Software Engineering Conference},
  publisher = {Springer-Verlag},
  year = {1995},
  volume = {989},
  pages = {219--234}
}

@inproceedings{Schurr1994,
  author = {Schürr, Andy},
  title = {Specification of Graph Translators with Triple Graph Grammars},
  booktitle = {Graph-Theoretic Concepts in Computer Science},
  publisher = {Springer-Verlag},
  year = {1994},
  volume = {903},
  pages = {151--163}
}

@inproceedings{Seo2004,
  author = {Seo, Chungman and Park, Sunwoo and Byounguk, Kim and Cheon, Saehoon and Zeigler, Bernard P.},
  title = {Implementation of Distributed high-performance DEVS Simulation Framework in the Grid Computing Environment},
  booktitle = {ASTC'04},
  publisher = {Society for Modeling and Simulation International},
  year = {2004}
}

@mastersthesis{Song2006,
  author = {Song, Hongyan},
  title = {Infrastructure for DEVS Modelling and Experimentation},
  school = {McGill University},
  year = {2006}
}

@book{Stahl2006,
  author = {Stahl, Thomas and Voelter, Markus and Czarnecki, Krzysztof},
  title = {Model-Driven Software Development -- Technology, Engineering, Management},
  publisher = {John Wiley & Sons},
  year = {2006}
}

@inproceedings{Sunwoo2007,
  author = {Sunwoo, Park and Kim, Sean H. J. and Hunt, C. Anthony and Park, Dongsun},
  title = {DEVS Peer-to-Peer Protocol for Distributed and Parallel Simulation of Hierarchical and Decomposable DEVS Models},
  booktitle = {ISITC'07},
  publisher = {IEEE Computer Society},
  year = {2007},
  pages = {91--95}
}

@misc{tcore-website,
  author = {Syriani, Eugene},
  title = {T-Core},
  year = {2010}
}

@techreport{Syriani2006,
  author = {Syriani, Eugene},
  title = {Alternate piDemos Simulators},
  year = {2006}
}

@inproceedings{Syriani2010d,
  author = {Syriani, Eugene and Kienzle, Jörg and Vangheluwe, Hans},
  title = {Exceptional Transformations},
  booktitle = {ICMT'10},
  publisher = {Springer-Verlag},
  year = {2010},
  volume = {6142},
  pages = {199--214}
}

@techreport{Syriani2010a,
  author = {Syriani, Eugene and Kienzle, Jörg and Vangheluwe, Hans},
  title = {Exceptional Transformations},
  year = {2010},
  number = {SOCS-TR-2010.2}
}

@inproceedings{Syriani2007,
  author = {Syriani, Eugene and Vangheluwe, Hans},
  title = {Programmed Graph Rewriting with DEVS},
  booktitle = {AGTIVE'07},
  publisher = {Springer-Verlag},
  year = {2007},
  volume = {5088},
  pages = {136--152}
}

@inproceedings{Syriani2008,
  author = {Syriani, Eugene and Vangheluwe, Hans},
  title = {Programmed Graph Rewriting with Time for Simulation-Based Design},
  booktitle = {ICMT'08},
  publisher = {Springer-Verlag},
  year = {2008},
  volume = {5063},
  pages = {91--106}
}

@inproceedings{Syriani2008a,
  author = {Syriani, Eugene and Vangheluwe, Hans},
  title = {Using MoTif for the AntWorld Simulator Case Study},
  booktitle = {GraBaTs'08},
  year = {2008},
  url = {http://fots.ua.ac.be/events/grabats2008/}
}

@article{Syriani2011,
  author = {Syriani, Eugene and Vangheluwe, Hans},
  title = {A Modular Timed Model Transformation Language},
  journal = {Journal on Software and Systems Modeling},
  year = {2011},
  volume = {(to appear)}
}

@article{Syriani2010,
  author = {Syriani, Eugene and Vangheluwe, Hans},
  title = {De-/Re-constructing Model Transformation Languages},
  booktitle = {International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2010)},
  journal = {ECEASST},
  year = {2010},
  volume = {29}
}

@techreport{Syriani2010c,
  author = {Syriani, Eugene and Vangheluwe, Hans},
  title = {A Modular Timed Model Transformation Language},
  year = {2010},
  number = {SOCS-TR-2010.4}
}

@techreport{Syriani2009,
  author = {Syriani, Eugene and Vangheluwe, Hans},
  title = {Matters of model transformation},
  year = {2009},
  number = {SOCS-TR-2009.2}
}

@inbook{Syriani2009a,
  author = {Syriani, Eugene and Vangheluwe, Hans},
  title = {Discrete-Event Modeling and Simulation: Theory and Applications},
  publisher = {CRC Press},
  year = {2009}
}

@techreport{Syriani2009b,
  author = {Syriani, Eugene and Vangheluwe, Hans},
  title = {De-/Re-constructing Model Transformation Languages},
  year = {2009},
  number = {SOCS-TR-2009.8}
}

@techreport{Syriani2010b,
  author = {Syriani, Eugene and Vangheluwe, Hans and Al-Mallah, Amr},
  title = {Modelling and Simulation-based Design of a Distributed DEVS Simulator},
  year = {2010},
  number = {SOCS-TR-2010.3}
}

@misc{EA,
  author = {Sparx Systems},
  title = {Enterprise Architect},
  year = {2000}
}

@inproceedings{Taentzer1996,
  author = {Taentzer, Gabriele},
  title = {Hierarchically distributed graph transformation},
  booktitle = {Graph Grammars and Their Application to Computer Science},
  publisher = {Springer-Verlag},
  year = {1996},
  volume = {1073},
  pages = {304--320}
}

@inproceedings{Taentzer2004,
  author = {Taentzer, Gabriele},
  title = {AGG: A Graph Transformation Environment for Modeling and Validation of Software},
  booktitle = {AGTIVE'03},
  publisher = {Springer-Verlag},
  year = {2004},
  volume = {3062},
  pages = {446--453}
}

@inproceedings{Taentzer2005,
  author = {Taentzer, Gabriele and Ehrig, Karsten and Guerra, Esther and de Lara, Juan and Lengyel, Laszló and Levendovszky, Tihamér and Prange, Ulrike and Varró, Dániel and Varró-Gyapay, Szilvia},
  title = {Model Transformation by Graph Transformation: A Comparative Study},
  booktitle = {MTiP'05},
  year = {2005}
}

@inproceedings{Taentzer1998,
  author = {Taentzer, Gabriele and Goedicke, Michael and Meyer, Torsten},
  title = {Dynamic Change Management by Distributed Graph Transformation: Towards Configurable Distributed Systems},
  booktitle = {TAGT'98},
  publisher = {Springer-Verlag},
  year = {1998},
  volume = {1764},
  pages = {179--193}
}

@inproceedings{Tisi2009,
  author = {Tisi, Massimo and Jouault, Frédéric and Fraternali, Piero and Ceri, Stefano and Bézivin, Jean},
  title = {On the Use of Higher-Order Model Transformations},
  booktitle = {ECMDA-FA},
  publisher = {Springer-Verlag},
  year = {2009},
  volume = {5562},
  pages = {18--33}
}

@article{Tratt2007,
  author = {Tratt, Laurence},
  title = {Model transformations in MT},
  journal = {Science of Computer Programming},
  year = {2007},
  volume = {6},
  number = {68},
  pages = {196--213}
}

@techreport{Tratt2005,
  author = {Tratt, Laurence},
  title = {The MT model transformation language},
  year = {2005},
  number = {TR-05-02}
}

@article{Ullmann1976,
  author = {Ullmann, Julian R.},
  title = {An Algorithm for Subgraph Isomorphism},
  journal = {Journal of the ACM},
  publisher = {ACM},
  year = {1976},
  volume = {23},
  number = {1},
  pages = {31--42}
}

@inproceedings{Valiente1997,
  author = {Valiente, Gabriel and Martínez, Conrado},
  title = {An Algorithm for Graph Pattern-Matching},
  booktitle = {4th South American Workshop on String Processing},
  publisher = {Carleton University Press},
  year = {1997},
  volume = {8},
  pages = {180--197}
}

@techreport{Gorp2006,
  author = {Van Gorp, Pieter and Muliawan, Olaf and Janssens, Dirk},
  title = {Integrating a Declarative with an Imperative Model Transformation Language},
  year = {2006},
  number = {2006--12}
}

@inproceedings{Vangheluwe2004,
  author = {Vangheluwe, Hans and de Lara, Juan},
  title = {Computer Automated Multi-Paradigm Modelling For Analysis And Design of Traffic Networks},
  booktitle = {WinterSim'04},
  year = {2004},
  pages = {249--258}
}

@article{Varro2007,
  author = {Varró, Dániel and Balogh, András},
  title = {The model transformation language of the VIATRA2 framework},
  journal = {Science of Computer Programming},
  publisher = {Elsevier North-Holland, Inc.},
  year = {2007},
  volume = {68},
  number = {3},
  pages = {214--234}
}

@article{Varr'o2003,
  author = {Varró, Dániel and Pataricza, András},
  title = {The Mathematics of Metamodeling is Metamodeling Mathematics},
  journal = {SoSym},
  year = {2003},
  volume = {2},
  pages = {187--210}
}

@article{Varr'o2006,
  author = {Varró, Gergely and Friedl, Katalin and Varró, Dániel},
  title = {Implementing a Graph Transformation Engine in Relational Databases},
  journal = {SoSym},
  year = {2006},
  volume = {5},
  number = {3},
  pages = {313--341}
}

@inproceedings{Varro2005,
  author = {Varró, Gergely and Friedl, Katalin and Varró, Dániel},
  title = {Graph Transformation in Relational Databases},
  booktitle = {GraBaTs'04},
  year = {2005},
  volume = {127},
  number = {1},
  pages = {167--180}
}

@techreport{Varr'o2005a,
  author = {Varró, Gregerly and Schürr, Andy and Varró, Daniel},
  title = {Benchmarking for Graph Transformation},
  year = {2005},
  number = {TUB-TR-05-EE17}
}

@inproceedings{Varr'o2005,
  author = {Varró, Gergely and Schürr, Andy and Varró, Dániel},
  title = {Benchmarking for Graph Transformation},
  booktitle = {VL/HCC'05},
  publisher = {IEEE Press},
  year = {2005},
  pages = {79--88}
}

@inproceedings{Varro2004,
  author = {Varró, Gergely and Varró, Dániel},
  title = {Graph Transformation with Incremental Updates},
  booktitle = {GT-VMT'04},
  year = {2004},
  volume = {109},
  number = {14},
  pages = {73--86}
}

@inproceedings{Varr'o2005b,
  author = {Varró, Gergely and Varró, Dániel and Friedl, Katalin},
  title = {Adaptive Graph Pattern Matching for Model Transformations using Model-sensitive Search Plans},
  booktitle = {GraMoT'05},
  publisher = {Elsevier},
  year = {2005},
  volume = {152},
  pages = {191--205}
}

@inproceedings{Verlinden2004,
  author = {Verlinden, Nico and Janssens, Dirk},
  title = {A Framework for NLC and ESM: Local Action Systems},
  booktitle = {6th International Workshop on Theory and Application of Graph Transformations},
  publisher = {Springer-Verlag},
  year = {2004},
  volume = {1764},
  pages = {194--215}
}

@inproceedings{Viehstaedt1995,
  author = {Viehstaedt, Gerhard and Minas, Mark},
  title = {DiaGen: A Generator for Diagram Editors Based on a Hypergraph Model},
  booktitle = {International Workshop on Next Generation Information Technologies and Systems (NGITS'95)},
  year = {1995},
  pages = {155--162}
}

@inproceedings{Vignaga2009,
  author = {Vignaga, Andrés and Jouault, Frédéric and Bastarrica, María Cecilia and Brunelière, Hugo},
  title = {Typing in Model Management},
  booktitle = {ICMT'09},
  publisher = {Springer-Verlag},
  year = {2009},
  volume = {5563},
  pages = {197--212}
}

@inproceedings{Visser2001,
  author = {Visser, Eelco},
  title = {Stratego: A Language for Program Transformation Based on Rewriting Strategies},
  booktitle = {Rewriting Techniques and Applications (RTA'01)},
  publisher = {Springer},
  year = {2001},
  volume = {2051},
  pages = {357--362}
}

@inproceedings{Vizhanyo2004a,
  author = {Vizhanyo, Attila and Agrawal, Aditya and Shi, Feng},
  title = {Towards Generation of Efficient Transformations},
  booktitle = {GPCE'04},
  publisher = {Springer-Verlag},
  year = {2004},
  volume = {3286},
  pages = {298--316}
}

@inproceedings{Wachsmuth2007,
  author = {Wachsmuth, Guido},
  title = {Modelling the Operational Semantics of Domain-Specific Modelling Languages},
  booktitle = {Generative and Transformational Techniques in Software Engineering II},
  publisher = {Springer},
  year = {2007},
  volume = {5235},
  pages = {506--520}
}

@article{Wagner1996,
  author = {Wagner, Annika and Gogolla, Martin},
  title = {Defining operational Behaviour of Object Specifications by Attributed Graph Transformations},
  journal = {Fundamenta Informaticae},
  publisher = {IOS Press},
  year = {1996},
  volume = {26},
  pages = {407--431}
}

@article{Whitley1997,
  author = {Whitley, Kirsten N.},
  title = {Visual Programming Languages and the Empirical Evidence For and Against},
  journal = {Journal of Visual Languages and Computing},
  year = {1997},
  volume = {8},
  number = {1},
  pages = {109--142}
}

@inproceedings{Wimmer2009,
  author = {Wimmer, Manuel and Kusel, Angelika and Schönböck, Johannes and Reiter, Thomas and Retschitzegger, Werner and Schwinger, Wieland},
  title = {Lets's Play the Token Game -- Model Transformations Powered By Transformation Nets},
  booktitle = {Workshop on Petri Nets and Software Engineering (PNSE'09)},
  publisher = {Université Paris 13},
  year = {2009},
  pages = {35--50}
}

@inproceedings{Xie2008,
  author = {Xie, Hengheng and Boukerche, Azzedine and Zhang, Ming and P. Zeigler, Bernard},
  title = {Design of A QoS-Aware Service Composition and Management System in Peer-to-Peer Network Aided by DEVS},
  booktitle = {DS-RT},
  year = {2008},
  pages = {285--291}
}

@inproceedings{Yu2008,
  author = {Yu, Yijun and Jürjens, Jan and Mylopoulos, Jhon},
  title = {Traceability for the Maintenance of Secure Software},
  booktitle = {ICSM'08},
  year = {2008}
}

@article{Zaitsev2002,
  author = {Zaitsev, Aleksey V. and Skorik, Yu A.},
  title = {Mathematical Description of Sensorimotor Reaction Time Distribution},
  journal = {Human Physiology},
  year = {2002},
  volume = {28},
  pages = {494--497 (4)}
}

@book{Zeigler1984,
  author = {Zeigler, Bernard P.},
  title = {Multifacetted Modelling and Discrete Event Simulation},
  publisher = {Academic Press},
  year = {1984}
}

@inproceedings{Zeigler2000,
  author = {Zeigler, Bernard P. and Sarjoughian, Hessam S.},
  title = {Creating Distributed Simulation Using DEVS M&S Environments},
  booktitle = {Winter Simulation Conference},
  publisher = {Society for Computer Simulation International},
  year = {2000},
  pages = {158--160}
}

@inproceedings{Zhang2005,
  author = {Zhang, Jing and Lin, Yuehua and Gray, Jeff},
  title = {Generic and domain-specific model refactoring using a model transformation engine},
  booktitle = {Volume II of Research and Practice in Software Engineering},
  publisher = {Springer},
  year = {2005},
  pages = {199--218}
}

@article{Zhang2006,
  author = {Zhang, Ming and Zeigler, Bernard P. and Hammonds, Phillip},
  title = {DEVS/RMI-An Auto-Adaptive and Reconfigurable Distributed Simulation Environment for Engineering Studies},
  journal = {Journal of Test and Evaluation},
  year = {2006},
  volume = {27},
  number = {1},
  pages = {49--60}
}

@article{Zhang2004,
  author = {Zhang, Yingzhou and Xu, Baowen},
  title = {A survey of semantic description frameworks for programming languages},
  journal = {SIGPLAN Notices},
  publisher = {ACM},
  year = {2004},
  volume = {39},
  number = {3},
  pages = {14--30}
}

@inproceedings{Zundorf1994,
  author = {Zündorf, Albert},
  title = {Graph Pattern Matching in PROGRES},
  booktitle = {Graph Grammars and Their Application to Computer Science},
  publisher = {Springer-Verlag},
  year = {1994},
  volume = {1073},
  pages = {454--468}
}

@techreport{Zundorf1992a,
  author = {Zündorf, Albert},
  title = {Implementation of the imperative / rule based language PROGRES},
  year = {1992},
  number = {92--38}
}

@inproceedings{Zundorf1992,
  author = {Zündorf, Albert and Schürr, Andy},
  title = {Nondeterministic control structures for graph rewriting systems},
  booktitle = {Graph-Theoretic Concepts in Computer Science},
  publisher = {Springer-Verlag},
  year = {1992},
  volume = {570},
  pages = {48--62}
}

@misc{AntWorld,,
  title = {4th International Workshop on Graph-Based Tools: The Contest},
  year = {2008/07/21}
}

@misc{GME,,
  title = {Generic Modeling Envionment (GME)},
  year = {2006}
}