doc/org.eclipse.epsilon.book/Bibliography.bib

@ARTICLE{GrGen,
  title = "{GrGen.NET}",
  author = "{Edgar Jakumeit, Sebastian Buchwald, Moritz Kroll}",
  journal = "{International Journal on Software Tools for Technology Transfer (STTT)}",
  year = "{2010}",
  volume = "{12}",
  number = "{3}",
  pages = "{263--271}",
  month = "{July}",
  note = "",
}

@TECHREPORT{QVTRPatterns,
  title = "{An Approach to Detecting Design Patterns in MOF-Based Domain-Specific Models with QVT}",
  author = "{Maged Elaasar, Lionel C. Briand, and Yvan Labicie}",
  institution = "{Carleton University}",
  year = "{2010}",
  number = "{TR-SCE-10-02}",
  address = "",
  month = "",
  note = "{http://squall.sce.carleton.ca/pubs/tech\_report/TR-SCE-10-02.pdf}",
}

@inproceedings{EMFIncQuery,
 author = "{Bergmann, G\'{a}bor and Ujhelyi, Zolt\'{a}n and R\'{a}th, Istv\'{a}n and Varr\'{o}, D\'{a}niel}",
 title = "{A graph query language for EMF models}",
 booktitle = "{Proceedings of the 4th international conference on Theory and practice of model transformations}",
 series = "{ICMT'11}",
 year = "{2011}",
 isbn = "{978-3-642-21731-9}",
 location = "{Zurich, Switzerland}",
 pages = "{167--182}",
 numpages = "{16}",
 url = "{http://dl.acm.org/citation.cfm?id=2022007.2022019}",
 acmid = "{2022019}",
 publisher = "{Springer-Verlag}",
 address = "{Berlin, Heidelberg}",
} 

@inproceedings{EMFTiger,
 author = "{Biermann, Enrico and Ermel, Claudia and Taentzer, Gabriele}",
 title = "{Precise Semantics of EMF Model Transformations by Graph Transformation}",
 booktitle = "{Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems}",
 series = "{MoDELS '08}",
 year = "{2008}",
 isbn = "{978-3-540-87874-2}",
 location = "{Toulouse, France}",
 pages = "{53--67}",
 numpages = "{15}",
 url = "{http://dx.doi.org/10.1007/978-3-540-87875-9_4}",
 doi = "{10.1007/978-3-540-87875-9_4}",
 acmid = "{1434663}",
 publisher = "{Springer-Verlag}",
 address = "{Berlin, Heidelberg}",
} 

@incollection {AGG2004,
   author = "{Taentzer, Gabriele}",
   affiliation = "{Technische Universit\"{a}t Berlin, Germany}",
   title = "{AGG: A Graph Transformation Environment for Modeling and Validation of Software}",
   booktitle = "{Applications of Graph Transformations with Industrial Relevance}",
   series = "{Lecture Notes in Computer Science}",
   editor = "{Pfaltz, John and Nagl, Manfred and B\"{o}hlen, Boris}",
   publisher = "{Springer Berlin / Heidelberg}",
   isbn = "{978-3-540-22120-3}",
   keyword = "{Computer Science}",
   pages = "{446-453}",
   volume = "{3062}",
   url = "{http://dx.doi.org/10.1007/978-3-540-25959-6_35}",
   year = "{2004}"
}

@article{ICCECS09,
author = "{Richard F. Paige and Dimitrios S. Kolovos and Louis M. Rose and Nicholas Drivalos and Fiona A.C. Polack}",
title = "{The Design of a Conceptual Framework and Technical Infrastructure for Model Management Language Engineering}",
journal ="{IEEE International Conference on Engineering of Complex Computer Systems}",
volume = "{0}",
isbn = "{978-0-7695-3702-3}",
year = "{2009}",
pages = "{162-171}",
doi = "{http://doi.ieeecomputersociety.org/10.1109/ICECCS.2009.14}",
publisher = "{IEEE Computer Society}",
address = "{Los Alamitos, CA, USA}",
}

@MISC{CGN,
  title = "{Code Generation Network}",
  author = "",
  howpublished = "",
  month = "",
  year = "",
  note = "",
}
@BOOK{CG.InAction,
  title = "{Code Generation in Action}",
  author = "{Jack Herrington}",
  publisher = "{Manning}",
  year = "{2003}",
  volume = "",
  series = "",
  address = "",
  edition = "",
  month = "",
  note = "{ISBN: 1930110979}",
}
@MISC{CodeSmith,
  title = "{CodeSmith, official web-site}",
  author = "{Eric J. Smith}",
  howpublished = "",
  month = "",
  year = "",
  note = "{http://www.ericjsmith.com/codesmith}",
}
@MISC{Velocity.WebSite,
  title = "{Jacarta Apache Velocity, official web-site}",
  author = "",
  howpublished = "",
  month = "",
  year = "",
  note = "",
}
@MISC{VelocityTools,
  title = "{Velocity Tools, official web-site}",
  author = "",
  howpublished = "",
  month = "",
  year = "",
  note = "{http://jakarta.apache.org/velocity/tools/index.html}",
}
@MISC{MOFScript,
  title = "{MOFScript User Guide}",
  author = "{Jon Oldevik}",
  howpublished = "",
  month = "",
  year = "",
  note = "{http://www.eclipse.org/gmt/mofscript/doc/ MOFScript-User-Guide.pdf}",
}
@MISC{XPand,
  title = "{XPand Language Reference}",
  author = "{Sven Efftinge}",
  howpublished = "",
  month = "",
  year = "",
  note = "{http://www.eclipse.org/gmt/oaw/doc/4.1/r20\_ xPandReference.pdf}",
}
@MISC{JET,
  title = "{Java Emitter Templates (JET)}",
  author = "",
  howpublished = "",
  month = "",
  year = "",
  note = "{http://www.eclipse.org/modeling/m2t/}",
}
@MISC{Apex,
  title = "{Apex SQL Code, official web-site}",
  author = "",
  howpublished = "",
  month = "",
  year = "",
  note = "{http://www.apexsql.com/}",
}
@MISC{DaliGen,
  title = "{DaliGen, official web-site}",
  author = "",
  howpublished = "",
  month = "",
  year = "",
  note = "{http://www.revtechnologies.com/DaliGen.aspx}",
}
@MISC{ProcCG,
  title = "{ProcCG, official web-site}",
  author = "",
  howpublished = "",
  month = "",
  year = "",
  note = "{http://www.igenxsoft.com/}",
}
@MISC{KickStart,
  title = "{Westfaro KickStart, official web-site}",
  author = "{Westfaro}",
  howpublished = "",
  month = "",
  year = "",
  note = "{http://www.westfaro.com}",
}
@MISC{MDGen,
  title = "{MDGen - Model-driven J2EE code generator, official web-site}",
  author = "",
  howpublished = "",
  month = "",
  year = "",
  note = "{http://sourceforge.net/projects/mdgen/}",
}
@MISC{AndroMDA,
  title = "{AndroMDA, official web-site}",
  author = "",
  howpublished = "",
  month = "",
  year = "",
  note = "{http://www.andromda.org}",
}
@MISC{JUMLMDA,
  title = "{jUMLMDA, official web-site}",
  author = "",
  howpublished = "",
  month = "",
  year = "",
  note = "{http://sourceforge.net/projects/umlmda/}",
}
@MISC{Liquid,
  title = "{Liquid XML 2005, official web-site}",
  author = "{Liquid Technologies}",
  howpublished = "",
  month = "",
  year = "",
  note = "",
}
@MISC{Castor,
  title = "{Castor XML-binding framework, official web-site}",
  author = "",
  howpublished = "",
  month = "",
  year = "",
  note = "{http://castor.codehaus.org/sourcegen.html}",
}
@INPROCEEDINGS{Sturm2002,
  title = "{Generating code from UML with Velocity Templates}",
  author = "{Thorsten Sturm, Jesco von Voss and Marko Boger}",
  booktitle = "{Proc. 5th International Conference on The Unified Modeling Language}",
  year = "{2002}",
  editor = "",
  volume = "{2460}",
  series = "{LNCS}",
  pages = "{150-161}",
  address = "",
  month = "",
  organization = "",
  publisher = "{Springer-Verlag}",
  note = "",
}
@INPROCEEDINGS{ECOOP01,
  title = "{Generative Programming (ECOOP01)}",
  author = "{Barbara Barth, Greg Butler, Krzysztof Czarnecki, Ulrich Enisenecker}",
  booktitle = "{ECOOP 2001 Workshops, LNCS 2323}",
  year = "{2002}",
  editor = "",
  volume = "",
  series = "",
  pages = "{135-149}",
  address = "",
  month = "",
  organization = "",
  publisher = "",
  note = "",
}
@INPROCEEDINGS{ECOOP02,
  title = "{Generative Programming (ECOOP02)}",
  author = "{Krzystof Czarnecki, Kasper Osterbye, Markus Volter}",
  booktitle = "{ECOOP 2002 Workshops, LNCS 2548}",
  year = "{2002}",
  editor = "",
  volume = "",
  series = "",
  pages = "{15-29}",
  address = "",
  month = "",
  organization = "",
  publisher = "",
  note = "",
}
@INPROCEEDINGS{Batory,
  title = "{The Road to Utopia: A Future for Generative Programming}",
  author = "{Don Batory}",
  booktitle = "{Proc. Domain Specific Program Generation Workshop}",
  year = "{2004}",
  editor = "",
  volume = "{3016}",
  series = "",
  pages = "{1-18}",
  address = "",
  month = "",
  organization = "",
  publisher = "{LNCS}",
  note = "",
}
@INPROCEEDINGS{Harsh,
  title = "{Practical Use of Generative Techniques in Software Development Projects: an Approach that Survives in Harsh Environments}",
  author = "{Joern Bettin}",
  booktitle = "{OOPSLA 2001 Workshop on Generative Programming}",
  year = "{2001}",
  editor = "",
  volume = "",
  series = "",
  pages = "",
  address = "",
  month = "",
  organization = "",
  publisher = "",
  note = "",
}
@MISC{DesignSmell,
  title = "{Code generation is a design smell}",
  author = "",
  howpublished = "",
  month = "",
  year = "",
  note = "{http://c2.com/cgi/wiki?CodeGenerationIsaDesignSmell}",
}
@ARTICLE{DSL.Annotated,
  title = "{Domain-specific languages: an annotated bibliography}",
  author = "{Arie van Deursen and Paul Klint and Joost Visser}",
  journal = "{ACM Press, SIGPLAN Not.}",
  year = "{2000}",
  volume = "{35}",
  number = "{6}",
  pages = "{26-36}",
  month = "",
  note = "",
}
@MISC{AtlanticZoo,
  title = "{Atlantic Zoo Metamodel Repository}",
  author = "",
  howpublished = "",
  month = "",
  year = "{2005}",
  note = "{http://www.eclipse.org/gmt/am3/zoos/atlanticZoo/}",
}
@INPROCEEDINGS{KM3,
  title = "{KM3: a DSL for Metamodel Specification}",
  author = "{Fr\'ederic Jouault, Jean Bez\'ivin}",
  booktitle = "{Proceedings of 8th IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems}",
  year = "{2006}",
  editor = "",
  volume = "",
  series = "{LNCS}",
  pages = "{171-185}",
  address = "{Bologna, Italy}",
  month = "",
  organization = "",
  publisher = "",
  note = "",
}
@ARTICLE{Deursen1998,
  title = "{Little languages: Little maintenance?}",
  author = "{A. van Deursen and P. Klint.}",
  journal = "{Journal of Software Maintenance}",
  year = "{1998}",
  volume = "{10}",
  number = "",
  pages = "{75-92}",
  month = "",
  note = "",
}
@MISC{Emfatic,
  title = "{Emfatic Language for EMF Development}",
  author = "{IBM alphaWorks}",
  howpublished = "",
  month = "{February}",
  year = "{2005}",
  note = "{http://www.alphaworks.ibm.com/tech/emfatic}",
}
@INPROCEEDINGS{Kleppe2007,
  title = "{A Language Description is More than a Metamodel}",
  author = "{Anneke Kleppe}",
  booktitle = "{Proc. 4th International Workshop on Software Language Engineering}",
  year = "{2007}",
  editor = "",
  volume = "",
  series = "",
  pages = "",
  address = "{Nashville, USA}",
  month = "{October}",
  organization = "",
  publisher = "",
  note = "",
}
@ARTICLE{Zhang2004,
  title = "{A survey of semantic description frameworks for programming languages}",
  author = "{Yingzhou Zhang and Baowen Xu}",
  journal = "{SIGPLAN Not. ACM Press}",
  year = "{2004}",
  volume = "{39}",
  number = "{3}",
  pages = "{14-30}",
  month = "",
  note = "",
}
@MISC{WebML,
  title = "{Web Modelling Language (WebML), official web-site}",
  author = "",
  howpublished = "",
  month = "",
  year = "",
  note = "{http://webml.org/}",
}
@MISC{xADL,
  title = "{eXtensible Architecture Description Language (xADL), official web-site}",
  author = "",
  howpublished = "",
  month = "",
  year = "",
  note = "{http://www.isr.uci.edu/projects/xarchuci/}",
}
@MISC{BPEL,
  title = "{Business Process Execution Language (BPEL), official web-site}",
  author = "",
  howpublished = "",
  month = "",
  year = "",
  note = "{http://www.bpel.org}",
}
@MISC{BPML,
  title = "{Business Process Modelling Language (BPML), official web-site}",
  author = "",
  howpublished = "",
  month = "",
  year = "",
  note = "{http://www.bpmi.org/}",
}
@MISC{WSDL,
  title = "{Web Service Definition Language (WSDL), official web-site}",
  author = "{W3C}",
  howpublished = "",
  month = "",
  year = "",
  note = "{http://www.w3.org/TR/wsdl}",
}
@MISC{XMLEditor,
  title = "{XMLEditor, official web-site}",
  author = "",
  howpublished = "",
  month = "",
  year = "",
  note = "{http://www.felixgolubov.com/XMLEditor/}",
}
@MISC{XMLSpy,
  title = "{Altova XML Spy, official web-site}",
  author = "",
  howpublished = "",
  month = "",
  year = "",
  note = "{http://www.altova.com}",
}
@MISC{StylusStudio,
  title = "{Stylus Studio, official web-site}",
  author = "",
  howpublished = "",
  month = "",
  year = "",
  note = "{http://www.stylusstudio.com}",
}
@MISC{MapForce,
  title = "{Altova MapForce, official web-site}",
  author = "",
  howpublished = "",
  month = "",
  year = "",
  note = "{http://www.altova.com/products\_mapforce.html}",
}
@MISC{JDOM,
  title = "{JDOM Official Web-Site}",
  author = "",
  howpublished = "",
  month = "",
  year = "",
  note = "{http://www.jdom.org}",
}
@MISC{XML,
  title = "{Extensible Markup Language (XML), official web-site}",
  author = "{W3C}",
  howpublished = "",
  month = "",
  year = "",
  note = "{http://www.w3.org/XML/}",
}
@MISC{Schema,
  title = "{XML Schema Specification}",
  author = "{W3C}",
  howpublished = "",
  month = "",
  year = "",
  note = "{http://www.w3.org/XML/Schema}",
}
@MISC{XSLT,
  title = "{XML StyLe and Transformation Language, official web-site}",
  author = "",
  howpublished = "",
  month = "",
  year = "",
  note = "{www.w3.org/TR/xslt}",
}
@MISC{XPath,
  title = "{XML Path Language (XPath), Official Web-Site}",
  author = "{W3C}",
  howpublished = "",
  month = "",
  year = "",
  note = "{http://www.w3.org/TR/xpath}",
}
@MISC{CG.XML.Velocity,
  title = "{Template-Based Code Generation with Apache Velocity}",
  author = "{Giuseppe Naccarato}",
  howpublished = "",
  month = "",
  year = "",
  note = "{http://www.onjava.com/pub/a/onjava/2004/05/05/cg-vel1.html}",
}
@MISC{CG.XML.StringTemplate,
  title = "{Generating Java and XML Using StringTemplate}",
  author = "{Terence Parr}",
  howpublished = "",
  month = "",
  year = "",
  note = "{http://www.codegeneration.net/tiki-read\_article.php?articleId=65}",
}
@MISC{CG.XML.Transformation,
  title = "{Code generation using XML based document transformation}",
  author = "{Soumen Sarkar \& Craig Cleaveland}",
  howpublished = "",
  month = "",
  year = "",
  note = "{http://www.theserverside.com/articles/article.tss?l=XMLCodeGen}",
}
@MISC{CG.XML.NET,
  title = "{Generate .NET Code With XSLT}",
  author = "{Kathleen Dollard}",
  howpublished = "",
  month = "",
  year = "",
  note = "{http://www.fawcette.com/vsm/2003\_05/magazine/features/dollard/}",
}
@MISC{CG.XML.PHP,
  title = "{Generate PHP with XSLT 2.0}",
  author = "{Jack Herrington}",
  howpublished = "",
  month = "",
  year = "",
  note = "{http://www-128.ibm.com/developerworks/xml/library/x-xslphp2/}",
}
@ARTICLE{Selic2003,
  title = "{The Pragmatics of Model-Driven Development}",
  author = "{Bran Selic}",
  journal = "{IEEE Software}",
  year = "{2003}",
  volume = "{20}",
  number = "",
  pages = "{19-25}",
  month = "",
  note = "",
}
@ARTICLE{MDD.Metamodelling,
  title = "{Model-Driven Development: A Metamodeling Foundation}",
  author = "{Atkinson, C.   Kuhne, T.}",
  journal = "{Software, IEEE}",
  year = "",
  volume = "{20}",
  number = "{5}",
  pages = "{36- 41}",
  month = "",
  note = "",
}
@INPROCEEDINGS{Case.DOP,
  title = "{Model Driven Development - The Case for Domain Oriented Programming}",
  author = "{Dave Thomas and Brian M. Barry}",
  booktitle = "{OOPSLA Conference Proceedings}",
  year = "{2003}",
  editor = "",
  volume = "",
  series = "",
  pages = "",
  address = "",
  month = "{October}",
  organization = "{ACM}",
  publisher = "",
  note = "",
}
@INPROCEEDINGS{WMDD2004,
  title = "{Model-Driven Development (WMDD 2004)}",
  author = "",
  booktitle = "",
  year = "",
  editor = "",
  volume = "",
  series = "",
  pages = "",
  address = "",
  month = "",
  organization = "",
  publisher = "",
  note = "",
}
@INPROCEEDINGS{MDD.Webservice,
  title = "{Model-Driven Web Service Development}",
  author = "{Karim Ba?na, Boualem Benatallah, Fabio Casati, and Farouk Toumani}",
  booktitle = "",
  year = "",
  editor = "",
  volume = "",
  series = "",
  pages = "",
  address = "",
  month = "",
  organization = "",
  publisher = "",
  note = "{CAiSE 2004, LNCS 3084, pp. 290?306, 2004}",
}
@ARTICLE{Bezivin2005,
  title = "{On the Unification Power of Models}",
  author = "{Jean Bezivin}",
  journal = "{ Software and System Modeling (SoSym)}",
  year = "{2005}",
  volume = "{4}",
  number = "{2}",
  pages = "{171-188}",
  month = "",
  note = "",
}
@INPROCEEDINGS{SoftwareFactories,
  title = "{Software Factories Assembling Applications with Patterns, Models, Frameworks and Tools}",
  author = "{Jack Greenfield and Keith Short}",
  booktitle = "",
  year = "",
  editor = "",
  volume = "",
  series = "",
  pages = "",
  address = "",
  month = "",
  organization = "",
  publisher = "",
  note = "",
}
@INPROCEEDINGS{Abrial1991,
  title = "{The B-Method}",
  author = "{Jean-Raymond Abrial and Matthew K. O. Lee and Dave Neilson and P. N. Scharbach and Ib Sorensen}",
  booktitle = "{VDM '91: Proceedings of the 4th International Symposium of VDM Europe on Formal Software Development-Volume 2}",
  year = "{1991}",
  editor = "",
  volume = "",
  series = "",
  pages = "{398-405}",
  address = "{London, UK}",
  month = "",
  organization = "",
  publisher = "{Springer-Verlag}",
  note = "",
}
@BOOK{UzingZ,
  title = "{Using Z : Specification, Refinement, and Proof}",
  author = "{Jim Woodcock and Jim Davies}",
  publisher = "{Prentice Hall}",
  year = "{1996}",
  volume = "",
  series = "",
  address = "",
  edition = "",
  month = "{March}",
  note = "",
}
@MISC{OCLE,
  title = "{OCLE: Object Constraint Language Environment, official web-site}",
  author = "",
  howpublished = "",
  month = "",
  year = "",
  note = "{http://lci.cs.ubbcluj.ro/ocle/}",
}
@MISC{Octopus,
  title = "{Octopus: OCL Tool for Precise UML Specifications, official web-site}",
  author = "",
  howpublished = "",
  month = "",
  year = "",
  note = "{http://www.klasse.nl/ocl/octopus-intro.html}",
}
@MISC{DresdenOCL,
  title = "{Dresden OCL Toolkit}",
  author = "",
  howpublished = "",
  month = "",
  year = "",
  note = "{http://dresden-ocl.sourceforge.net}",
}
@MISC{Vaziri1999,
  title = "{Some Shortcomings of OCL, the Object Constraint Language of UML}",
  author = "{Mandana Vaziri and Daniel Jackson}",
  howpublished = "{Response to Object Management Group's Request for Information on UML 2.0 , December 1999}",
  month = "",
  year = "",
  note = "{http://www.omg.org/docs/ad/99-12-05.pdf}",
}
@INPROCEEDINGS{Akehurst2001,
  title = "{On Querying UML Data Models with OCL}",
  author = "{D. H. Akehurst and Behzad Bordbar}",
  booktitle = "{Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools}",
  year = "{2001}",
  editor = "",
  volume = "",
  series = "",
  pages = "{91-103}",
  address = "{London, UK}",
  month = "",
  organization = "",
  publisher = "",
  note = "{Springer-Verlag}",
}
@MISC{USE,
  title = "{USE - A UML-based Specification Environment}",
  author = "{University of Bremen, Database Systems Group}",
  howpublished = "",
  month = "",
  year = "",
  note = "{http://www.db.informatik.uni-bremen.de/projects/USE/}",
}
@INPROCEEDINGS{Chiorean05,
  title = "{Proposals for a Widespread Use of OCL}",
  author = "{Dan Chiorean, Maria Bortes, Dyan Corutiu}",
  booktitle = "{Proc. Tool Support for OCL and Related Formalisms - Needs and Trends, Models/UML 2005}",
  year = "{2005}",
  editor = "",
  volume = "",
  series = "",
  pages = "",
  address = "{Montego Bay, Jamaica}",
  month = "{October}",
  organization = "",
  publisher = "",
  note = "",
}
@INPROCEEDINGS{Cabot06,
  title = "{Incremental Evaluation of OCL Constraints}",
  author = "{Jordi Cabot, Ernest Teniente}",
  booktitle = "{Proc. CAiSE}",
  year = "{2006}",
  editor = " ",
  volume = "{4001}",
  series = "{LNCS}",
  pages = "{81-95}",
  address = "",
  month = "",
  organization = "",
  publisher = "",
  note = "",
}
@INPROCEEDINGS{Egyed06,
  title = "{Instant consistency checking for the UML}",
  author = "{Alexander Egyed}",
  booktitle = "{ICSE '06: Proceeding of the 28th international conference on Software engineering}",
  year = "{2006}",
  editor = "",
  volume = "",
  series = "",
  pages = "{381-390}",
  address = "{Shanghai, China}",
  month = "",
  organization = "",
  publisher = "{ACM Press}",
  note = "",
}
@BOOK{Larman,
  title = "{Applying UML and Patterns : An Introduction to Object-Oriented Analysis and Design and Iterative Development}",
  author = "{Craig Larman}",
  publisher = "{Prentice Hall PTR}",
  year = "{2004}",
  volume = "",
  series = "",
  address = "",
  edition = "{3rd}",
  month = "{October}",
  note = "",
}
@BOOK{ExecutableUML.Mellor,
  title = "{Executable UML: A Foundation for Model-Driven Architecture}",
  author = "",
  publisher = "",
  year = "",
  volume = "",
  series = "",
  address = "",
  edition = "",
  month = "",
  note = "",
}
@ARTICLE{ExecutingUmlModels,
  title = "{Executing UML Models}",
  author = "",
  journal = "",
  year = "",
  volume = "",
  number = "",
  pages = "",
  month = "",
  note = "",
}
@ARTICLE{IBM.Haifa.ModelExecution,
  title = "{UML Model Execution, Towards a UML Virtual Machine}",
  author = "",
  journal = "",
  year = "",
  volume = "",
  number = "",
  pages = "",
  month = "",
  note = "",
}
@BOOK{MDA.XUML,
  title = "{Model Driven Architecture with Executable UML}",
  author = "{Chris Raistrick, Paul Francis, John Wright, Colin Carter, Ian Wilkie}",
  publisher = "{Cambridge University Press}",
  year = "{2004}",
  volume = "",
  series = "",
  address = "",
  edition = "",
  month = "",
  note = "",
}
@ARTICLE{Profile.DataModeling,
  title = "{UML Profile for Data Modeling}",
  author = "",
  journal = "",
  year = "",
  volume = "",
  number = "",
  pages = "",
  month = "",
  note = "{http://www.omg.org/cgi-bin/doc?ptc/03-10-04}",
}
@MISC{Profile.QoS,
  title = "{UML Profile for Modeling Quality of Service and Fault Tolerance Characteristics and Mechanisms}",
  author = "{Object Management Group}",
  howpublished = "",
  month = "",
  year = "",
  note = "{http://www.omg.org/cgi-bin/doc?ptc/03-10-04}",
}
@MISC{Uml2Mof.Specification,
  title = "{UML Profile for MOF}",
  author = "",
  howpublished = "",
  month = "",
  year = "",
  note = "{http://www.omg.org/cgi-bin/apps/do\_doc?formal/04-02-06.pdf}",
}
@MISC{Profile.Corba,
  title = "{UML Profile for CORBA}",
  author = "{Object Management Group}",
  howpublished = "",
  month = "",
  year = "",
  note = "{http://www.omg.org/cgi-bin/doc?ptc/2000-10-01}",
}
@MISC{OMG.Uml2Mof,
  title = "{UML Profile for Metaobject Facility (MOF) Specification}",
  author = "",
  howpublished = "",
  month = "",
  year = "",
  note = "{http://www.omg.org/cgi-bin/apps/do\_doc?formal/04-02-06.pdf}",
}
@MISC{NetBeans.Uml2Mof,
  title = "{NetBeans UML Profile for MOF}",
  author = "{Martin Matula}",
  howpublished = "",
  month = "",
  year = "",
  note = "{http://mdr.netbeans.org/uml2mof/}",
}
@MISC{MF.UmlAsSketch,
  title = "{UML as sketch}",
  author = "{Martin Fowler}",
  howpublished = "",
  month = "",
  year = "",
  note = "",
}
@INPROCEEDINGS{UML.Mudpacking,
  title = "{UML 2.0 Architectural Crossroads: Sculpting or Mudpacking?}",
  author = "",
  booktitle = "",
  year = "",
  editor = "",
  volume = "",
  series = "",
  pages = "",
  address = "",
  month = "",
  organization = "",
  publisher = "",
  note = "",
}
@MISC{UML2.LatestStatus,
  title = "{The Latest Status of Version 2 of the UML}",
  author = "{Granville Miller}",
  howpublished = "",
  month = "",
  year = "",
  note = "",
}
@ARTICLE{ActionSemanticsForUML,
  title = "{Action Semantics for the UML: Response to OMG RFP ad/98-11-01}",
  author = "",
  journal = "",
  year = "",
  volume = "",
  number = "",
  pages = "",
  month = "",
  note = "",
}
@ARTICLE{Mellor99Paper,
  title = "{Software-platform-independent, Precise Action Specifications for UML}",
  author = "",
  journal = "",
  year = "",
  volume = "",
  number = "",
  pages = "",
  month = "",
  note = "",
}
@MISC{UMLASEXMOD,
  title = "{Using UML Action Semantics for Executable Modeling and Beyond}",
  author = "",
  howpublished = "",
  month = "",
  year = "",
  note = "",
}
@INPROCEEDINGS{OCLActionClause,
  title = "{Extending OCL to Include Actions}",
  author = "{Anneke Kleppe, Jos Warmer}",
  booktitle = "{LNCS}",
  year = "{2000}",
  editor = "{A Evans, S Kent and B Selic}",
  volume = "{1939}",
  series = "",
  pages = "{440-450}",
  address = "",
  month = "",
  organization = "",
  publisher = "{Springer-Verlag Berlin Heidelberg}",
  note = "",
}
@MISC{KC,
  title = "{Kennedy-Carter}",
  author = "",
  howpublished = "",
  month = "",
  year = "",
  note = "",
}
@MISC{Kabira,
  title = "{Kabira Design Center}",
  author = "",
  howpublished = "",
  month = "",
  year = "",
  note = "",
}
@MISC{BridgePoint,
  title = "{Nucleus BridgePoint Developement Suite}",
  author = "",
  howpublished = "",
  month = "",
  year = "",
  note = "",
}
@ARTICLE{ActionLanguageSDL,
  title = "{Action Language subset of the Specification and Description Language (SDL)}",
  author = "",
  journal = "",
  year = "",
  volume = "",
  number = "",
  pages = "",
  month = "",
  note = "",
}
@MISC{KC.ASL.Reference,
  title = "{Kennedy-Carter UML ASL Reference Guide}",
  author = "{Ian Wilkie, Adrian King, Mike Clarke, Chas Weaver and Chris Rastrick}",
  howpublished = "",
  month = "",
  year = "",
  note = "",
}
@ARTICLE{OCL.AsExpressionLanguage,
  title = "{OCL as Expression Language in an Action Semantics Surface Language}",
  author = "{Stefan Haustein and Jorg Pleumann}",
  journal = "",
  year = "",
  volume = "",
  number = "",
  pages = "",
  month = "",
  note = "",
}
@INPROCEEDINGS{Lopes2004,
  title = "{Extending ArgoUML for Real-Time UML}",
  author = "{S\'ergio Lopes, Carlos Silva, Andriano Tavares, Joao Monteiro}",
  booktitle = "{Proc. IASTED International Conference, Advances in Computer Science and Technology}",
  year = "{2004}",
  editor = "",
  volume = "",
  series = "",
  pages = "{191-197}",
  address = "{St. Thomas, US Virgin Islands}",
  month = "{November}",
  organization = "",
  publisher = "",
  note = "",
}
@MISC{ArgoUML,
  title = "{ArgoUML official web-site}",
  author = "",
  howpublished = "",
  month = "",
  year = "",
  note = "{http://argouml.tigris.org}",
}
@MISC{ArgoUMLCookbook,
  title = "{Cookbook for Developers of ArgoUML, An introduction to Developing ArgoUML}",
  author = "{Linus Tolke and Markus Klink}",
  howpublished = "",
  month = "",
  year = "{2006}",
  note = "{http://argouml.tigris.org/documentation/defaulthtml/cookbook/}",
}
@MISC{EMF,
  title = "{Eclipse Modelling Framework}",
  author = "{Eclipse Foundation}",
  howpublished = "",
  month = "",
  year = "",
  note = "{http://www.eclipse.org/emf}",
}
@MISC{Eclipse,
  title = "{Eclipse Foundation, Official Web-Site}",
  author = "",
  howpublished = "",
  month = "",
  year = "",
  note = "{http://www.eclipse.org}",
}
@MISC{GMT,
  title = "{Eclipse GMT - Generative Modeling Technology, Official Web-Site}",
  author = "",
  howpublished = "",
  month = "",
  year = "",
  note = "{http://www.eclipse.org/gmt}",
}
@MISC{GMF,
  title = "{Eclipse GMF - Graphical Modeling Framework, Official Web-Site}",
  author = "",
  howpublished = "",
  month = "",
  year = "",
  note = "{http://www.eclipse.org/gmf}",
}
@MISC{EMFT,
  title = "{Eclipse Modeling Framework Technology (EMFT)}",
  author = "{Eclipse Foundation}",
  howpublished = "",
  month = "",
  year = "",
  note = "{http://www.eclipse.org/modeling/emft/}",
}
@INPROCEEDINGS{MOF2EMF,
  title = "{MOF to EMF: There and back again}",
  author = "{Anna Gerber and Kerry Raymond}",
  booktitle = "{Proc. Eclipse Technology Exchange Workshop OOPSLA 2003}",
  year = "{2003}",
  editor = "",
  volume = "",
  series = "",
  pages = "{66-70}",
  address = "{Anaheim, USA}",
  month = "{October}",
  organization = "",
  publisher = "",
  note = "",
}
@MISC{MOF2Fujaba,
  title = "{A MOF 2.0 Editor as Plugin for FUJABA}",
  author = "{Carsten Amelunxen}",
  howpublished = "",
  month = "",
  year = "",
  note = "",
}
@MISC{MDR,
  title = "{Meta Data Repository}",
  author = "{Sun Microsystems}",
  howpublished = "",
  month = "",
  year = "",
  note = "{http://mdr.netbeans.org}",
}
@MISC{MOFObjectLifecycle,
  title = "{MOF 2.0 Facility and Object Lifecycle Specification}",
  author = "{Adaptive, Compuware Corporation, Interactive Objects, Sun Microsystems, Constantine Plotnikov, INRIA}",
  howpublished = "",
  month = "",
  year = "",
  note = "{http://www.omg.org/cgi-bin/doc?ad/05-11-11.pdf}",
}
@MISC{JMI,
  title = "{Java Metadata Interface (JMI), official web-site}",
  author = "",
  howpublished = "",
  month = "",
  year = "",
  note = "",
}
@MISC{MOF2,
  title = "{Meta Object Facility (MOF) 2.0 Core Specification}",
  author = "{Object Management Group}",
  howpublished = "",
  month = "",
  year = "",
  note = "{http://www.omg.org/cgi-bin/doc?ptc/03-10-04}",
}
@TECHREPORT{Kurtev2004,
  title = "{Unifying Approach for Model Transformations in the MOF Metamodeling Architecture}",
  author = "{Ivan Kurtev, Klaas van den Berg}",
  institution = "{University of Twente}",
  year = "{2004}",
  number = "{TR-CTIT-04-12}",
  address = "",
  month = "",
  note = "{CTIT Technical Report, ISSN 1381-3625}",
}
@INPROCEEDINGS{Bezivin98,
  title = "{Ontology-Based Layered Semantics for Precise OA\&D Modeling}",
  author = "{Jean B\'ezivin and Richard Lemesle}",
  booktitle = "{ECOOP '97: Proceedings of the Workshops on Object-Oriented Technology}",
  year = "{1998}",
  editor = "",
  volume = "",
  series = "",
  pages = "{151-154}",
  address = "{London, UK}",
  month = "",
  organization = "{Springer-Verlag}",
  publisher = "",
  note = "",
}
@INPROCEEDINGS{MSDSL.Eclipse,
  title = "{Bridging the MS/DSL Tools and the Eclipse Modeling Framework}",
  author = "{Jean Bezivin, Guillaume Hillairet, Fr\'ed\'eric Jouault, Ivan Kurtev, William Piers}",
  booktitle = "{OOPSLA International Workshop on Software Factories}",
  year = "{2005}",
  editor = "",
  volume = "",
  series = "",
  pages = "",
  address = "",
  month = "{October}",
  organization = "",
  publisher = "",
  note = "",
}
@MISC{MSDSL,
  title = "{Microsoft Domain Specific Languages Framework, Official Web-Site}",
  author = "",
  howpublished = "",
  month = "",
  year = "",
  note = "{http://msdn.microsoft.com/ vstudio/ teamsystem/ workshop/ DSLTools/ default.aspx}",
}
@MISC{GME,
  title = "{Generic Modeling Environment}",
  author = "",
  howpublished = "",
  month = "",
  year = "",
  note = "{http://www.isis.vanderbilt.edu/Projects/gme}",
}
@MISC{XMF,
  title = "{XMF-Mosaic}",
  author = "{Xactium}",
  howpublished = "",
  month = "",
  year = "",
  note = "{http://www.xactium.com}",
}
@MISC{MetaEdit,
  title = "{Meta-Edit+}",
  author = "{MetaCase}",
  howpublished = "",
  month = "",
  year = "",
  note = "{http://www.metacase.com}",
}
@MISC{Kermeta,
  title = "{Kermeta Language Overview}",
  author = "{F. Chauvel and F. Fleurey}",
  howpublished = "",
  month = "",
  year = "",
  note = "{http://www.kermeta.org}",
}
@INPROCEEDINGS{Ledeczi2001,
  title = "{The Generic Modeling Environment}",
  author = "{Akos Ledeczi, Miklos Maroti, Arpad Bakay, Gabor Karsai, Jason Garrett, Charles Thomason, Greg Nordstrom, Jonathan Sprinkle and Peter Volgyesi}",
  booktitle = "{Proc. IEEE International Workshop on Intelligent Signal Processing}",
  year = "{2001}",
  editor = "",
  volume = "",
  series = "",
  pages = "",
  address = "",
  month = "",
  organization = "",
  publisher = "",
  note = "",
}
@INPROCEEDINGS{Atom3,
  title = "{Using AToM3 as a Meta-CASE Tool}",
  author = "{Juan De Lara, Hans Vangheluwe}",
  booktitle = "{Proc. 4th International Conference on Enterprise Information Systems}",
  year = "{2002}",
  editor = "",
  volume = "",
  series = "",
  pages = "{642-649}",
  address = "{Ciudad Real - Spain}",
  month = "{April}",
  organization = "",
  publisher = "",
  note = "",
}
@MISC{OCL,
  title = "{UML 2.0 OCL Specification}",
  author = "{Object Management Group}",
  howpublished = "",
  month = "",
  year = "",
  note = "{http://www.omg.org/docs/ptc/03-10-14.pdf}",
}
@MISC{UML.Infra.Spec,
  title = "{UML 2.0 Infrastructure Specification}",
  author = "{Object Management Group}",
  howpublished = "",
  month = "",
  year = "",
  note = "{http://www.omg.org/cgi-bin/doc?ptc/03-10-04}",
}
@MISC{MOF,
  title = "{Meta Object Facility (MOF) 2.0 Core Specification}",
  author = "{Object Management Group}",
  howpublished = "",
  month = "",
  year = "",
  note = "{http://www.omg.org/cgi-bin/doc?ptc/03-10-04}",
}
@MISC{RFP.QVT,
  title = "{Revised submission for MOF 2.0 Query/Views/Transformations RFP (ad/2002-04-10)}",
  author = "{Object Management Group}",
  howpublished = "",
  month = "",
  year = "",
  note = "{http://www.omg.org/cgi-bin/doc?ptc/03-10-04}",
}
@MISC{XMI,
  title = "{XML Metadata Interchange 2.0 Specification}",
  author = "{Object Management Group}",
  howpublished = "",
  month = "",
  year = "",
  note = "{http://www.omg.org/technology/documents/formal/xmi.htm}",
}
@MISC{UML,
  title = "{UML official web-site}",
  author = "{Object Management Group}",
  howpublished = "",
  month = "",
  year = "",
  note = "{http://www.uml.org}",
}
@MISC{OMG,
  title = "{Object Management Group, official web-site}",
  author = "",
  howpublished = "",
  month = "",
  year = "",
  note = "{http://www.omg.org}",
}
@MISC{CWM,
  title = "{Common Warehouse Metamodel}",
  author = "{Object Management Group}",
  howpublished = "",
  month = "",
  year = "",
  note = "{http://www.omg.org/cwm}",
}
@MISC{ASTM,
  title = "{Abstract Syntax Tree Metamodel, Request For Proposals (RFP)}",
  author = "{Object Management Group}",
  howpublished = "",
  month = "",
  year = "",
  note = "{http://www.omg.org/cgi-bin/doc?admtf/05-02-02.pdf}",
}
@MISC{KDM,
  title = "{Knowledge Discovery Metamodel, Request For Proposals (RFP)}",
  author = "{Object Management Group}",
  howpublished = "",
  month = "",
  year = "",
  note = "{http://www.omg.org/cgi-bin/doc?lt/03-11-04.pdf}",
}
@MISC{QVT,
  title = "{MOF QVT Final Adopted Specification}",
  author = "{Object Management Group}",
  howpublished = "",
  month = "",
  year = "",
  note = "{http://www.omg.org/cgi-bin/doc?ptc/05-11-01.pdf}",
}
@MISC{MOF2Text,
  title = "{MOF Model to Text Transformation Language Language Final Adopted Specification}",
  author = "{Object Management Group}",
  howpublished = "",
  month = "",
  year = "",
  note = "{http://www.omg.org/docs/ptc/06-11-01.pdf}",
}
@MISC{MDAGuide,
  title = "{MDA Guide version 1.0.1}",
  author = "{Object Management Group, Jishnu Mukerji, Joaquin Miller}",
  howpublished = "",
  month = "",
  year = "{2001}",
  note = "{http://www.omg.org/cgi-bin/doc?omg/03-06-01.pdf}",
}
@MISC{MDA.Website,
  title = "{Model Driven Architecture, official web-site}",
  author = "{Object Management Group}",
  howpublished = "",
  month = "",
  year = "",
  note = "",
}
@MISC{HUTN,
  title = "{Human-Usable Textual Notation v1.0}",
  author = "{Object Management Group}",
  howpublished = "",
  month = "",
  year = "{2004}",
  note = "{http://www.omg.org/cgi-bin/doc?formal/2004-08-01}",
}
@INPROCEEDINGS{Engels2001,
  title = "{Rule-Based Specification of Behavioral Consistency Based on the UML Meta-model}",
  author = "{Gregor Engels, Reiko Heckel, and Jochen Malter Kuster}",
  booktitle = "{Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools}",
  year = "{2001}",
  editor = "{M. Gogolla and C. Korbyn}",
  volume = "{2185}",
  series = "",
  pages = "{272-286}",
  address = "",
  month = "",
  organization = "",
  publisher = "{Springer-Verlag Berlin Heidelberg}",
  note = "",
}
@ARTICLE{Finkelstein1994,
  title = "{Inconsistency Handling in Multi-Perspective Specifications}",
  author = "{A. Finkelstein, D. Gabbay, A. Hunter, J. Kramer, B. Nuseibeh}",
  journal = "{IEEE Transactions on Software Engineering}",
  year = "{1994}",
  volume = "{20}",
  number = "{8}",
  pages = "{569-578}",
  month = "{August}",
  note = "",
}
@INPROCEEDINGS{Snoeck2003,
  title = "{Consistency by Construction: The Case of MERODE}",
  author = "{Monique Snoeck, Cindy Michiels and Guido Dedene}",
  booktitle = "{International Workshop on Conceptual Modeling Quality}",
  year = "{2003}",
  editor = "",
  volume = "",
  series = "",
  pages = "",
  address = "",
  month = "",
  organization = "",
  publisher = "",
  note = "",
}
@INPROCEEDINGS{Chiorean2003,
  title = "{Ensuring UML models consistency using the OCL Environment}",
  author = "{Dan Chiorean, Mihai Pasca, Adrian Carcu, Christian Botiza, Sorin Moldovan}",
  booktitle = "{Sixth International Conference on the Unified Modelling Language - the Language and its applications}",
  year = "{2003}",
  editor = "",
  volume = "",
  series = "",
  pages = "",
  address = "",
  month = "",
  organization = "",
  publisher = "",
  note = "",
}
@ARTICLE{Nentwich2003,
  title = "{Flexible Consistency Checking}",
  author = "{Christian Nentwich, Wolfgang Emmerich, Anthony Finkelstein and Erns Ellmer}",
  journal = "{ACM Transactions on Software Engineering and Methodology}",
  year = "{2003}",
  volume = "{12}",
  number = "{1}",
  pages = "{28-63}",
  month = "",
  note = "",
}
@INPROCEEDINGS{Riehle2001,
  title = "{The Architecture of a UML Virtual Machine.}",
  author = "{Dirk Riehle, Steven Fraleigh, Dirk Bucka-Lassen, and Nosa Omorogbe}",
  booktitle = "{Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA01)}",
  year = "{2001}",
  editor = "",
  volume = "",
  series = "",
  pages = "{327-341}",
  address = "",
  month = "",
  organization = "",
  publisher = "{ACM Press}",
  note = "",
}
@ARTICLE{Nentwich2002,
  title = "{xlinkit: A Consistency Checking and Smart Link Generation Service}",
  author = "{Christian Nentwich, Licia Capra, Wolfgang Emmerich and Anthony Finkelstein}",
  journal = "{ACM Transactions on Internet Technology}",
  year = "{2002}",
  volume = "{2}",
  number = "{2}",
  pages = "{151-185}",
  month = "{May}",
  note = "",
}
@INPROCEEDINGS{Mens,
  title = "{Maintaining Consistency between UML Models with Description Logic Tools}",
  author = "{Tom Mens, Ragnhild Van Der Straeten, and Jocelyn Simmonds}",
  booktitle = "{ Sixth  International Conference on the Unified Modelling Language - the Language and its applications, Workshop on Consistency Problems in UML-based Software Development II}",
  year = "{2003}",
  editor = "",
  volume = "",
  series = "",
  pages = "",
  address = "",
  month = "",
  organization = "",
  publisher = "",
  note = "",
}
@MISC{Mens2,
  title = "{Detecting Inconsistencies between UML Models Using Description Logic}",
  author = "{R. Van Der Straeten and J. Simmonds and T. Mens}",
  howpublished = "",
  month = "",
  year = "",
  note = "",
}
@INPROCEEDINGS{Gryce2002,
  title = "{Lightweight Checking for UML Based Software Development}",
  author = "{Clare Gryce, Anthony Finkelstein, and Christian Nentwich}",
  booktitle = "{Workshop on Consisteny Problems in UML-based Software Development}",
  year = "{2002}",
  editor = "",
  volume = "",
  series = "",
  pages = "",
  address = "",
  month = "",
  organization = "",
  publisher = "",
  note = "",
}
@MISC{MODELWARE.Consistency,
  title = "{D1.5: Model Consistency Rules}",
  author = "{MODELWARE Partners}",
  howpublished = "",
  month = "",
  year = "{2005}",
  note = "{http://www.modelware-ist.org}",
}
@INPROCEEDINGS{Sabetzadeh2007,
  title = "{Consistency Checking of Conceptual Models via Model Merging}",
  author = "{Mehrdad Sabetzadeh, Shiva Nejati, Sotirios Liaskos, Steve Easterbrook, Marsha Chechik}",
  booktitle = "{Proc. 15th IEEE International Requirements Engineering Conference (RE'07)}",
  year = "{2007}",
  editor = "",
  volume = "",
  series = "",
  pages = "",
  address = "{New Delhi, India}",
  month = "{October}",
  organization = "",
  publisher = "",
  note = "",
}
@INPROCEEDINGS{Easterbrook2003,
  title = "{Model Management and Inconsistency in Software Design}",
  author = "{Steve Easterbrook}",
  booktitle = "{NSF Workshop on the Science of Design}",
  year = "{2003}",
  editor = "",
  volume = "",
  series = "",
  pages = "",
  address = "{Airlie Center, Virginia, USA}",
  month = "{November}",
  organization = "",
  publisher = "",
  note = "",
}
@INPROCEEDINGS{Finkelstein2000,
  title = "{A Foolish Consistency: Technical Challenges in Consistency Management}",
  author = "{Anthony Finkelstein}",
  booktitle = "{Proc. 11th International Conference on Database and Expert Systems Applications}",
  year = "{2000}",
  editor = "",
  volume = "{1873}",
  series = "{Lecture Notes In Computer Science}",
  pages = "{1 - 5}",
  address = "",
  month = "",
  organization = "",
  publisher = "",
  note = "",
}
@INPROCEEDINGS{Liu2002,
  title = "{Rule-Based Detection of Inconsistency in UML models}",
  author = "{WenQian Liu, Steve Easterbrook and John Mylopoulos}",
  booktitle = "{Proc. Workshop on Consistency Problems in UML-Based Software Development}",
  year = "{2002}",
  editor = "",
  volume = "",
  series = "",
  pages = "",
  address = "{Dresden, Germany}",
  month = "{October}",
  organization = "",
  publisher = "",
  note = "",
}
@INPROCEEDINGS{Chechik2001,
  title = "{Implementing a Multi-valued Symbolic Model Checker}",
  author = "{Marsha Chechik, Benet Devereux, Steve Easterbrook}",
  booktitle = "{Proc. Tools and Algorithms for the Construction and Analysis of Systems: 7th International Conference, TACAS 2001}",
  year = "{2001}",
  editor = "",
  volume = "",
  series = "{LNCS}",
  pages = "{404-419}",
  address = "{Genova, Italy}",
  month = "{April}",
  organization = "",
  publisher = "",
  note = "",
}
@INPROCEEDINGS{Paige2002,
  title = "{Checking the Consistency of Collaboration and Class Diagrams using PVS}",
  author = "{Richard F. Paige, Johnathan S. Ostroff, and Phillop J. Brooke}",
  booktitle = "{Fourth Workshop on Rigorous Object-Oriented Methods (ROOM4)}",
  year = "{2002}",
  editor = "",
  volume = "",
  series = "",
  pages = "",
  address = "",
  month = "",
  organization = "",
  publisher = "",
  note = "",
}
@INPROCEEDINGS{Ledang2001,
  title = "{Formalizing UML Behavioral Diagrams with B}",
  author = "{Hung Ledang and Jeanine Souquieres}",
  booktitle = "{ Proceedings of   Tenth OOPSLA Workshop on Behavioral Semantics: Back to Basics}",
  year = "{2001}",
  editor = "",
  volume = "",
  series = "",
  pages = "",
  address = "",
  month = "",
  organization = "",
  publisher = "",
  note = "",
}
@INPROCEEDINGS{Derrick2002,
  title = "{A framework for UML consistency}",
  author = "{John Derrick and David Akehurst and Eerke Boiten}",
  booktitle = "{2002 Workshop on Consistency Problems in UML-based Software Development}",
  year = "{2002}",
  editor = "{L. Kuzniarz and G. Reggio and J. L. Sourrouille and Z. Huzar}",
  volume = "",
  series = "",
  pages = "{30-45}",
  address = "",
  month = "{October}",
  organization = "",
  publisher = "",
  note = "",
}
@INPROCEEDINGS{Heitmeyer1998,
  title = "{On the Need for Practical Formal Methods}",
  author = "{Constance Heitmeyer}",
  booktitle = "{Formal Techniques in Real-Time and Fault-Tolerant Systems: 5th International Symposium, FTRTFT'98}",
  year = "{1998}",
  editor = "",
  volume = "{1486}",
  series = "",
  pages = "{18-26}",
  address = "",
  month = "{January}",
  organization = "",
  publisher = "",
  note = "",
}
@INPROCEEDINGS{Hnatkowska2002,
  title = "{A systematic approach to consistency within UML based software development process}",
  author = "{Bogumila Hnatkowska, Zbigniew Huzar, Ludwik Kuzniarz and Lech Tuzinkiewicz}",
  booktitle = "{Consistency Problems in UML-based Software Development Workshop}",
  year = "{2002}",
  editor = "",
  volume = "",
  series = "",
  pages = "{16-29}",
  address = "",
  month = "",
  organization = "",
  publisher = "",
  note = "",
}
@INPROCEEDINGS{Sourrouille2002,
  title = "{Checking UML Model Consistency}",
  author = "{Jean Louis Sourrouille, Guy Caplat}",
  booktitle = "{Workshop on Consistency Problems in UML-Based Software Development}",
  year = "{2002}",
  editor = "",
  volume = "",
  series = "",
  pages = "",
  address = "",
  month = "",
  organization = "",
  publisher = "",
  note = "",
}
@INPROCEEDINGS{Gomaa2003,
  title = "{Consistency in Multiple-View UML Models: A Case Study}",
  author = "{Hassan Gomaa and Duminda Wijesekera}",
  booktitle = "{Consistency Problems in UML-based Software Development Workshop}",
  year = "{2003}",
  editor = "",
  volume = "",
  series = "",
  pages = "",
  address = "",
  month = "",
  organization = "",
  publisher = "",
  note = "",
}
@INPROCEEDINGS{Lange2003,
  title = "{An Empirical Investigation in Quantifying Inconsistency and Incompleteness of UML designs}",
  author = "{C. Lange, M.R.V. Chaudron, J. Muskens, H.M. Dortmans}",
  booktitle = "{Consistency Problems in UML-based Software Development Workshop}",
  year = "{2003}",
  editor = "",
  volume = "",
  series = "",
  pages = "",
  address = "",
  month = "",
  organization = "",
  publisher = "",
  note = "",
}
@INPROCEEDINGS{VanDerStraeten2003,
  title = "{Using Description Logic to Maintain Consistency between UML Models}",
  author = "{Ragnhild Van Der Straeten, Tom Mens, Jocelyn Simmonds, and Viviane Jonckers}",
  booktitle = "{LNCS}",
  year = "{2003}",
  editor = "{P. Stevens et al.}",
  volume = "{2863}",
  series = "",
  pages = "{326-340}",
  address = "",
  month = "",
  organization = "",
  publisher = "{Springer-Verlag Berlin Heidelberg}",
  note = "",
}
@INPROCEEDINGS{Sourrouille2003,
  title = "{A Pragmatic View about Consistency Checking of UML Models}",
  author = "{Jean Louis Sourrouille, Guy Caplat}",
  booktitle = "{Consistency Problems in UML-based Software Development Workshop}",
  year = "{2003}",
  editor = "",
  volume = "",
  series = "",
  pages = "",
  address = "",
  month = "",
  organization = "",
  publisher = "",
  note = "",
}
@INPROCEEDINGS{Hnatkowska2004,
  title = "{On Understanding of Refinement Relationship}",
  author = "{Bogumila Bogumila Hnatkowska, Zbigniew Huzar, Lech Tuzinkiewicz}",
  booktitle = "{Consistency Problems in UML-based Software Development Workshop III}",
  year = "{2004}",
  editor = "",
  volume = "",
  series = "",
  pages = "",
  address = "",
  month = "",
  organization = "",
  publisher = "",
  note = "",
}
@INPROCEEDINGS{Liu2004,
  title = "{Consistency and Refinement of UML Models}",
  author = "{Zhiming Liu, He Jifeng, Xiaoshan Li, Yifeng Chen}",
  booktitle = "{Consistency Problems in UML-based Software Development Workshop III}",
  year = "{2004}",
  editor = "",
  volume = "",
  series = "",
  pages = "",
  address = "",
  month = "",
  organization = "",
  publisher = "",
  note = "",
}
@INPROCEEDINGS{Davidson2004,
  title = "{UML 2.0 Model Consistency - The Rule of Explicit and Implicit Usage Dependencies}",
  author = "{Shiri Kremmer-Davidson, and Yael Shaham-Gafni}",
  booktitle = "{Consistency Problems in UML-based Software Development Workshop III}",
  year = "{2004}",
  editor = "",
  volume = "",
  series = "",
  pages = "",
  address = "",
  month = "",
  organization = "",
  publisher = "",
  note = "",
}
@INPROCEEDINGS{VanDerStraeten2004,
  title = "{Formalizing Behaviour Preserving Dependencies in UML}",
  author = "{Ragnhild Van Der Straeten}",
  booktitle = "{Consistency Problems in UML-based Software Development Workshop III}",
  year = "{2004}",
  editor = "",
  volume = "",
  series = "",
  pages = "",
  address = "",
  month = "",
  organization = "",
  publisher = "",
  note = "",
}
@INPROCEEDINGS{Haesen2004,
  title = "{Implementing Consistency Management Techniques for Conceptual Modeling}",
  author = "{Raf Haesen and Monique Snoeck}",
  booktitle = "{Proc. 3rd Workshop on Consistency Problems in UML-based Software Development}",
  year = "{2004}",
  editor = "",
  volume = "",
  series = "",
  pages = "",
  address = "",
  month = "",
  organization = "",
  publisher = "",
  note = "",
}
@ARTICLE{Trento,
  title = "{NLP-Based Requirements Modeling: Experiments on the quality of the models}",
  author = "{Nadzeya Kiyavitskaya, Nicola Zeni, Luisa Mich and John Mylopoulos}",
  journal = "",
  year = "",
  volume = "",
  number = "",
  pages = "",
  month = "",
  note = "{Technical report}",
}
@INPROCEEDINGS{Balzer1991,
  title = "{Tolerating Inconsistency}",
  author = "{Robert Balzer}",
  booktitle = "{Proc. of the 13th International Conference on Software Engineering}",
  year = "{1991}",
  editor = "",
  volume = "",
  series = "",
  pages = "{158 - 165}",
  address = "{Austin, Texas, United States Pages}",
  month = "",
  organization = "",
  publisher = "",
  note = "",
}
@ARTICLE{Hunter1998,
  title = "{Managing Inconsistent Specifications: Reasoning, Analysis and Action}",
  author = "{A. Hunter and B. Nuseibeh}",
  journal = "{ACM Transactions on Software Engineering and Methodology}",
  year = "{1998}",
  volume = "{7}",
  number = "{4}",
  pages = "{335-367}",
  month = "{October}",
  note = "",
}
@TECHREPORT{Elaasar2004,
  title = "{An Overview of UML Consistency Management}",
  author = "{M. Elaasar, L. Briand}",
  institution = "{Carleton University}",
  year = "{2004}",
  number = "{SCE-04-18}",
  address = "",
  month = "{August}",
  note = "",
}
@INPROCEEDINGS{Wagner2003,
  title = "{A Plug-In for Flexible and Incremental Consistency Management}",
  author = "{Robert Wagner, Holger Giese, Ulrich A. Nickel}",
  booktitle = "{Proceedings of the International Conference on the Unified Modeling Language 2003 (Workshop 7: Consistency Problems in UML-based Software Development), San Francisco, USA}",
  year = "{2003}",
  editor = "{Kuzniarz, L and Huzar, Z and Reggio, G and Sourrouille, J.L and Staron, M}",
  volume = "",
  series = "",
  pages = "",
  address = "",
  month = "",
  organization = "",
  publisher = "",
  note = "",
}
@ARTICLE{Nuseibeh2000,
  title = "{Leveraging Inconsistency in Software Development}",
  author = "{B. Nuseibeh, S. Easterbrook and A. Russo}",
  journal = "{IEEE Computer}",
  year = "{2000}",
  volume = "{33}",
  number = "{4}",
  pages = "{24-29}",
  month = "{April}",
  note = "",
}
@INPROCEEDINGS{Jouault2005,
  title = "{Using ATL for Checking Models}",
  author = "{Fr\'ed\'eric Jouault, Jean Bez\'ivin}",
  booktitle = "{Proc. International Workshop on Graph and Model Transformation (GraMoT)}",
  year = "{2005}",
  editor = "",
  volume = "",
  series = "",
  pages = "",
  address = "{Tallinn, Estonia}",
  month = "{September}",
  organization = "",
  publisher = "",
  note = "",
}
@TECHREPORT{Detlefs1998,
  title = "{Extended Static Checking}",
  author = "{David L. Detlefs, K. Rustan M. Leino, Greg Nelson, and James B. Saxe}",
  institution = "{Compaq Systems Research Center}",
  year = "{1998}",
  number = "{159}",
  address = "",
  month = "{December}",
  note = "",
}
@ARTICLE{Leavens05,
  title = "{An overview of JML tools and applications}",
  author = "{L. Burdy, Y. Cheon, D. Cok, M. Ernst, J. Kiniry, G.T. Leavens, K.R.M. Leino, and E. Poll}",
  journal = "{International Journal on Software Tools for Technology Transfer}",
  year = "{2005}",
  volume = "{7}",
  number = "{3}",
  pages = "{212-232}",
  month = "{June}",
  note = "",
}
@INPROCEEDINGS{Leino05,
  title = "{The Spec\# programming system: Challenges and directions}",
  author = "{M. Barnett, R. DeLine, B. Jacobs, M. F\"{a}hndrich, K.R.M. Leino, W. Schulte, and H. Venter}",
  booktitle = "{Proc. VSTTE}",
  year = "{2005}",
  editor = "",
  volume = "",
  series = "",
  pages = "",
  address = "",
  month = "",
  organization = "",
  publisher = "",
  note = "",
}
@INPROCEEDINGS{Czarnecki2003,
  title = "{Classification of Model Transformation Approaches}",
  author = "{Krzysztof Czarnecki and Simon Helsen}",
  booktitle = "{OOPSLA '03 Workshop on Generative Techniques in the Context of Model-Driven Architecture}",
  year = "{2003}",
  editor = "",
  volume = "",
  series = "",
  pages = "",
  address = "",
  month = "",
  organization = "",
  publisher = "",
  note = "",
}
@ARTICLE{Sendall2003,
  title = "{Model Transformation the Heart and Soul of Model-Driven Software Development}",
  author = "{Shane Sendall and Wojtek Kozaczynski}",
  journal = "{IEEE Software}",
  year = "{2003}",
  volume = "{20}",
  number = "{5}",
  pages = "{42-45}",
  month = "{September/October}",
  note = "",
}
@INPROCEEDINGS{Gerber2002,
  title = "{Transformation: The Missing Link of MDA}",
  author = "{Anna Gerber, Michael Lawley, Kerry Raymond, Jim Steel and Andrew Wood}",
  booktitle = "{ICGT 2002, LNCS 2505}",
  year = "{2002}",
  editor = "",
  volume = "",
  series = "",
  pages = "{90-105}",
  address = "",
  month = "",
  organization = "",
  publisher = "",
  note = "",
}
@INPROCEEDINGS{Akehurst2003,
  title = "{Transformations based on Relations}",
  author = "{D. H. Akehurst}",
  booktitle = "{Proc. Workshop on Model Driven Development (WMDD 2004)}",
  year = "{2004}",
  editor = "",
  volume = "",
  series = "",
  pages = "",
  address = "",
  month = "",
  organization = "",
  publisher = "",
  note = "",
}
@INPROCEEDINGS{Willink2003,
  title = "{UMLX : A graphical transformation language for MDA}",
  author = "{Edward D. Willink}",
  booktitle = "{18th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages and Applications}",
  year = "{2003}",
  editor = "",
  volume = "",
  series = "",
  pages = "",
  address = "",
  month = "{October}",
  organization = "",
  publisher = "",
  note = "",
}
@MISC{QVTP,
  title = "{QVT Partners Official Web-Site}",
  author = "",
  howpublished = "",
  month = "",
  year = "",
  note = "{http://qvtp.org/}",
}
@INPROCEEDINGS{Kalnins2005,
  title = "{Model Transformation Language MOLA}",
  author = "{Audris Kalnins, Janis Barzdins, Edgars Celms}",
  booktitle = "{Model Driven Architecture}",
  year = "{2005}",
  editor = "",
  volume = "{3599}",
  series = "{LNCS}",
  pages = "{62-76}",
  address = "",
  month = "",
  organization = "",
  publisher = "{Springer}",
  note = "",
}
@INPROCEEDINGS{Kurtev2002,
  title = "{Technical spaces: An initial appraisal}",
  author = "{Ivan Kurtev, Jean Bezivin, and Mehmet Aksit}",
  booktitle = "{Proc. Tenth International Conference on Cooperative Information Systems (CoopIS), Federated Conferences Industrial Track}",
  year = "{2002}",
  editor = "",
  volume = "",
  series = "",
  pages = "",
  address = "{California}",
  month = "",
  organization = "",
  publisher = "",
  note = "",
}
@MISC{UMLX,
  title = "{UMLX, official web-site}",
  author = "",
  howpublished = "",
  month = "",
  year = "",
  note = "{http://dev.eclipse.org/viewcvs/ indextech.cgi/\verb|~|checkout\verb|~|/ gmt-home/subprojects/UMLX/index.html}",
}
@MISC{UMT,
  title = "{UMT-QVT, official web-site}",
  author = "",
  howpublished = "",
  month = "",
  year = "",
  note = "{http://umt-qvt.sourceforge.net/}",
}
@MISC{ATLWebsite,
  title = "{Atlas Transformation Language, official web-site}",
  author = "",
  howpublished = "",
  month = "",
  year = "",
  note = "{http://www.sciences.univ-nantes.fr/lina/atl/}",
}
@INPROCEEDINGS{YATL,
  title = "{YATL:Yet Another Transformation Language}",
  author = "{Octavian Patrascoiu}",
  booktitle = "{Proceedings of the 1st European MDA Workshop, MDA-IA}",
  year = "{2004}",
  editor = "",
  volume = "",
  series = "",
  pages = "{83-90}",
  address = "",
  month = "{January}",
  organization = "{University of Twente, the Nederlands}",
  publisher = "",
  note = "",
}
@INPROCEEDINGS{ATL,
  title = "{Transforming Models with the ATL}",
  author = "{Fr\'ed\'eric Jouault and Ivan Kurtev}",
  booktitle = "{Proceedings of the Model Transformations in Practice Workshop at MoDELS 2005}",
  year = "{2005}",
  editor = "{Jean-Michel Bruel}",
  volume = "{3844}",
  series = "{LNCS}",
  pages = "{128-138}",
  address = "{Montego Bay, Jamaica}",
  month = "{October}",
  organization = "",
  publisher = "",
  note = "",
}
@INPROCEEDINGS{Patrascoiu2004,
  title = "{Embedding OCL Expressions in YATL}",
  author = "{Octavian Patrascoiu and Peter Rodgers}",
  booktitle = "{Proc. OCL and Model Driven Engineering wokshop, UML'04}",
  year = "{2004}",
  editor = "",
  volume = "",
  series = "",
  pages = "",
  address = "",
  month = "{October}",
  organization = "",
  publisher = "",
  note = "",
}
@INPROCEEDINGS{VIATRA2,
  title = "{Advanced model transformation language constructs in the VIATRA2 framework}",
  author = "{Andras Balogh, Daniel Varro}",
  booktitle = "{SAC '06: Proceedings of the 2006 ACM symposium on Applied computing}",
  year = "{2006}",
  editor = "",
  volume = "",
  series = "",
  pages = "{1280-1287}",
  address = "{New York, NY, USA}",
  month = "",
  organization = "",
  publisher = "{ACM Press}",
  note = "",
}
@INPROCEEDINGS{Tefkat,
  title = "{Practical Declarative Model Transformation with Tefkat}",
  author = "{Michael Lawley, Jim Steel}",
  booktitle = "{Satellite Events at the MoDELS 2005 Conference}",
  year = "{2006}",
  editor = "",
  volume = "{3844}",
  series = "{LNCS}",
  pages = "{139-150}",
  address = "",
  month = "",
  organization = "",
  publisher = "{Springer}",
  note = "",
}
@MISC{Motmot,
  title = "{Model driven, Template based, Model Transformer}",
  author = "",
  howpublished = "",
  month = "",
  year = "",
  note = "{http://www.fots.ua.ac.be/motmot/}",
}
@INPROCEEDINGS{BiermannCopy1,
  title = "{EMF Model Refactoring based on Graph Transformation Concepts}",
  author = "{E. Biermann, K. Ehrig, C. K\"{o}hler, G. Kuhns, G. Taentzer, and E. Weiss}",
  booktitle = "{Proc. Third International Workshop on Software Evolution through Transformations (SETra'06)}",
  year = "{2006}",
  editor = "",
  volume = "{3}",
  series = "",
  pages = "",
  address = "{Natal, Brazil}",
  month = "{September}",
  organization = "",
  publisher = "",
  note = "",
}
@INPROCEEDINGS{BiermannCopy2,
  title = "{Graphical Definition of In-Place Transformations in the Eclipse Modeling Framework}",
  author = "{E. Biermann, K. Ehrig, C. K\"{o}hler, G. Kuhns, G. Taentzer, and E. Weiss}",
  booktitle = "{Proc. 9th International Conference on Model Driven Engineering Languages and Systems (MoDELS'06)}",
  year = "{2006}",
  editor = "",
  volume = "",
  series = "",
  pages = "",
  address = "{Genova, Italy}",
  month = "{October }",
  organization = "",
  publisher = "",
  note = "",
}
@INPROCEEDINGS{AGG1999,
  title = "{AGG: A Tool Environment for Algebraic Graph Transformation}",
  author = "{Gabriele Taentzer}",
  booktitle = "{Proc. Applications of Graph Transformations with Industrial Relevance, AGTIVE}",
  year = "{1999}",
  editor = "",
  volume = "",
  series = "",
  pages = "{481}",
  address = "",
  month = "{September}",
  organization = "",
  publisher = "",
  note = "",
}
@INPROCEEDINGS{Sunye2001,
  title = "{Refactoring UML Models}",
  author = "{Gerson Suny\'e, Damien Pollet, Yves Le Traon, Jean-Marc J\'ez\'equel}",
  booktitle = "{Proc. International Conference UML 2001 - The Unified Modeling Language: Modeling Languages, Concepts, and Tools}",
  year = "{2001}",
  editor = "",
  volume = "{2185}",
  series = "{LNCS}",
  pages = "{134-148}",
  address = "",
  month = "",
  organization = "",
  publisher = "{ Springer-Verlag}",
  note = "",
}
@INPROCEEDINGS{Zhang2005,
  title = "{Generic and Domain-Specific Model Refactoring using a Model Transformation Engine}",
  author = "{Jing Zhang, Yuehua Lin, and Jeff Gray}",
  booktitle = "{Proc. Model-driven Software Development}",
  year = "{2005}",
  editor = "{Sami Beydeda, Matthias Book, and Volker Gruhn}",
  volume = "",
  series = "",
  pages = "{199-218}",
  address = "",
  month = "",
  organization = "",
  publisher = "{Springer}",
  note = "",
}
@INPROCEEDINGS{Correa2004,
  title = "{Applying Refactoring Techniques to UML/OCL Models}",
  author = "{Alexandre Correa, Claudia Werner}",
  booktitle = "{Proc. Models/UML}",
  year = "{2004}",
  editor = "",
  volume = "{3273}",
  series = "{LNCS }",
  pages = "{173-187}",
  address = "",
  month = "",
  organization = "",
  publisher = "{Springer-Verlag}",
  note = "",
}
@INPROCEEDINGS{Porres2003,
  title = "{Model Refactorings as Rule-Based Update Transformations}",
  author = "{Ivan Porres}",
  booktitle = "{Proc. UML 2003 - The Unified Modeling Language, 6th International Conference}",
  year = "{2003}",
  editor = "{Perdita Stevens and Jon Whittle and Grady Booch}",
  volume = "{2863}",
  series = "{LNCS}",
  pages = "{159-174}",
  address = "",
  month = "",
  organization = "",
  publisher = "{Springer-Verlag}",
  note = "",
}
@ARTICLE{France2003,
  title = "{A Metamodeling Approach to Pattern-Based Model Refactoring}",
  author = "{Robert France, Sudipto Chosh, Eunjee Song, Dae-Kyoe Kim}",
  journal = "{Software, IEEE}",
  year = "{2003}",
  volume = "{20}",
  number = "{5}",
  pages = "{52- 58}",
  month = "{Sept-Oct}",
  note = "",
}
@INPROCEEDINGS{Clarke2000,
  title = "{Extending UML Metamodel for Design Composition}",
  author = "{Siobhan Clarke}",
  booktitle = "{ Workshop on Multi-Dimensional Separation of Concerns in Software Engineering (ICSE 2000)}",
  year = "{2000}",
  editor = "",
  volume = "",
  series = "",
  pages = "",
  address = "",
  month = "",
  organization = "",
  publisher = "",
  note = "",
}
@INPROCEEDINGS{Clarke1999,
  title = "{Subject-oriented design: towards improved alignment of requirements, design, and code}",
  author = "{Siobhan Clarke and William Harrison and Harold Ossher and Peri Tarr}",
  booktitle = "{OOPSLA '99: Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications}",
  year = "{1999}",
  editor = "",
  volume = "",
  series = "",
  pages = "{325-339}",
  address = "",
  month = "",
  organization = "",
  publisher = "",
  note = "",
}
@TECHREPORT{Pottinger2003,
  title = "{Merging Models Based on Given Correspondences}",
  author = "{Rachel A. Pottinger and Philip A. Bernstein}",
  institution = "{University of Washington}",
  year = "{2003}",
  number = "{UW-CSE-03-02-03}",
  address = "",
  month = "",
  note = "{Technical report}",
}
@INPROCEEDINGS{Levendovszky2002,
  title = "{Model reuse with metamodel-based transformations}",
  author = "{Tihamer Levendovszky, Gabor Karsai, Miklos Maroti, Akos Ledeczi, Hassan Charaf}",
  booktitle = "",
  year = "{2002}",
  editor = "",
  volume = "",
  series = "",
  pages = "",
  address = "",
  month = "",
  organization = "",
  publisher = "",
  note = "",
}
@INPROCEEDINGS{Kuhn2003,
  title = "{Enterprise Model Integration}",
  author = "{Harald Kuhn, Franz Bayer, Stefan Junginger and Dimitris Karagiannis}",
  booktitle = "{Proceedings of the 4th International Conference EC-Web 2003}",
  year = "{2003}",
  editor = "{Bauknecht, K.; Tjoa, A M.; Quirchmayr, G.}",
  volume = "",
  series = "",
  pages = "{379-392}",
  address = "",
  month = "{September}",
  organization = "",
  publisher = "{Springer Verlag}",
  note = "",
}
@INPROCEEDINGS{Bonnet2004,
  title = "{Putting Concern-Oriented Modeling into Practice}",
  author = "{Stephane Bonnet and Raphael Marvie and Jean-Marc Geib}",
  booktitle = "{2nd Nordic Workshop on UML, Modeling, Methods and Tools}",
  year = "{2004}",
  editor = "",
  volume = "",
  series = "",
  pages = "",
  address = "",
  month = "",
  organization = "",
  publisher = "",
  note = "",
}
@ARTICLE{Kulkarni2003,
  title = "{Separation of concerns in model-driven development}",
  author = "{Vinay Kulkarni and Sreedhar Reddy}",
  journal = "{Software, IEEE}",
  year = "{2003}",
  volume = "{20}",
  number = "{5}",
  pages = "{64-69}",
  month = "{Sept-Oct}",
  note = "",
}
@INPROCEEDINGS{Reddy2005.SBA,
  title = "{Model Composition - A Signature-Based Approach}",
  author = "{Raghu Reddy, Robert France, Sudipto Ghosh, Franck Fleurey, Benoit Baudry}",
  booktitle = "{Aspect Oriented Modeling (AOM) Workshop, MODELS/UML 2005 Conference}",
  year = "{2005}",
  editor = "",
  volume = "",
  series = "",
  pages = "",
  address = "{Montego Bay, Jamaica,}",
  month = "{October}",
  organization = "",
  publisher = "",
  note = "",
}
@INPROCEEDINGS{Reiter2005,
  title = "{Model Integration Through Mega Operations}",
  author = "{Th. Reiter, E. Kapsammer, W. Retschitzegger and W. Schwinger}",
  booktitle = "{Workshop on Model-driven Web Engineering (MDWE)}",
  year = "{2005}",
  editor = "",
  volume = "",
  series = "",
  pages = "",
  address = "",
  month = "{July}",
  organization = "",
  publisher = "",
  note = "",
}
@INPROCEEDINGS{Straw2004,
  title = "{Model Composition Directives}",
  author = "{Greg Straw, Geri Georg, Eunjee Song, Sudipto Ghosh, Robert France, James M. Bieman}",
  booktitle = "{The Unified Modelling Language: Modelling Languages and Applications. 7th International Conference}",
  year = "{2004}",
  editor = "{Springer}",
  volume = "{3273}",
  series = "",
  pages = "{84 - 97}",
  address = "{Lisbon, Portugal}",
  month = "{October 11-15}",
  organization = "",
  publisher = "",
  note = "",
}
@INPROCEEDINGS{Bouzitouna2005,
  title = "{Model Reuse in MDA}",
  author = "{Salim Bouzitouna and Marie-Pierre Gervais and Xavier Blanc}",
  booktitle = "{Software Engineering Research and Practice}",
  year = "{2005}",
  editor = "",
  volume = "",
  series = "",
  pages = "{354-360}",
  address = "",
  month = "",
  organization = "",
  publisher = "",
  note = "",
}
@INPROCEEDINGS{Melnik2003,
  title = "{Rondo: A Programming Platform for Generic Model Management}",
  author = "{S. Melnik, E. Rahm and P. A. Bernstein}",
  booktitle = "{Proc. SIGMOD}",
  year = "{2003}",
  editor = "",
  volume = "",
  series = "",
  pages = "{193-204}",
  address = "",
  month = "",
  organization = "",
  publisher = "",
  note = "",
}
@ARTICLE{Rahm2001,
  title = "{On Matching Schemas Automatically}",
  author = "{E. Rahm and P. A. Bernstein}",
  journal = "{VLDB Journal}",
  year = "{2001}",
  volume = "{10}",
  number = "{4}",
  pages = "",
  month = "",
  note = "",
}
@MISC{Letkeman2005,
  title = "{Comparing and merging UML models in IBM Rational Software Architect}",
  author = "{Kim Letkeman}",
  howpublished = "{IBM Developerworks}",
  month = "{July}",
  year = "{2005}",
  note = "{http://www-128.ibm.com/developerworks/rational/library/05/712\_comp}",
}
@INPROCEEDINGS{Didonet2006,
  title = "{Semi-automatic model integration using matching transformations and weaving models}",
  author = "{Marcos Didonet Del Fabro, Patrick Valduriez}",
  booktitle = "{Proceedings of the 2007 ACM symposium on Applied computing}",
  year = "{2007}",
  editor = "",
  volume = "",
  series = "",
  pages = "{963 - 970}",
  address = "{Seoul, Korea}",
  month = "",
  organization = "",
  publisher = "",
  note = "",
}
@ARTICLE{Batini1986,
  title = "{A Comparative Analysis of Methodologies for Database Schema Integration}",
  author = "{C. Batini, M. Lenzerini, S.B. Navathe}",
  journal = "{ACM Computing Surveys}",
  year = "{1986}",
  volume = "{18}",
  number = "{4}",
  pages = "{323-364}",
  month = "{December}",
  note = "",
}
@INPROCEEDINGS{Buneman1994,
  title = "{Theoretical Aspects of Schema Merging}",
  author = "{P. Buneman, S.Davidson and A.Kosky}",
  booktitle = "{Extending Database Technology}",
  year = "{1994}",
  editor = "",
  volume = "",
  series = "",
  pages = "{152-167}",
  address = "",
  month = "",
  organization = "",
  publisher = "",
  note = "",
}
@ARTICLE{Yao1982,
  title = "{View modeling and integration using the functional data model}",
  author = "{S.B. Yao, V. Waddle, and B. Housel}",
  journal = "{IEEE Transactions in Software Engineering}",
  year = "{1982}",
  volume = "{8}",
  number = "{6}",
  pages = "{544-553}",
  month = "",
  note = "",
}
@INPROCEEDINGS{Behrens2000,
  title = "{A Grammar Based Model for XML Schema Integration}",
  author = "{Ralf Behrens}",
  booktitle = "{BNCOD 17: Proceedings of the 17th British National Conferenc on Databases}",
  year = "{2000}",
  editor = "",
  volume = "",
  series = "",
  pages = "{172-190}",
  address = "",
  month = "",
  organization = "",
  publisher = "",
  note = "",
}
@INPROCEEDINGS{Bezevin2004.ModelWeaver,
  title = "{First Experiments with a ModelWeaver}",
  author = "{Jean Bezevin, Frederic Jouault and Patrick Valduriez}",
  booktitle = "",
  year = "",
  editor = "",
  volume = "",
  series = "",
  pages = "",
  address = "",
  month = "",
  organization = "",
  publisher = "",
  note = "",
}
@INPROCEEDINGS{ModelWeaver,
  title = "{AMW: A Generic Model Weaver}",
  author = "{Marcos Didonet Del Fabro, Jean Bezivin, Frederic Jouault, Erwan Breton,  Guillaume Gueltas}",
  booktitle = "{Proceedings of IDM05}",
  year = "{2005}",
  editor = "",
  volume = "",
  series = "",
  pages = "",
  address = "",
  month = "",
  organization = "",
  publisher = "",
  note = "",
}
@TECHREPORT{Alanen2003,
  title = "{Difference and Union of Models}",
  author = "{Marcus Alanen and Ivan Porres}",
  institution = "{TUCS}",
  year = "{2003}",
  number = "{527}",
  address = "",
  month = "{April}",
  note = "",
}
@INPROCEEDINGS{Ohst2003,
  title = "{Differences between Versions of UML Diagrams}",
  author = "{Dirk Ohst, Michael Welle and Udo Kelter}",
  booktitle = "{9th European Software Engineering Conference}",
  year = "{2003}",
  editor = "",
  volume = "",
  series = "",
  pages = "{227-236}",
  address = "",
  month = "",
  organization = "",
  publisher = "{ACM Press}",
  note = "",
}
@ARTICLE{Rahm2001,
  title = "{A survey of approaches to automatic schema matching}",
  author = "{Erhard Rahm, Philip A. Bernstein}",
  journal = "{The VLDB Journal}",
  year = "{2001}",
  volume = "{10}",
  number = "",
  pages = "{334?350}",
  month = "",
  note = "",
}
@INPROCEEDINGS{Fleury2007,
  title = "{A Generic Approach For Automatic Model Composition}",
  author = "{Franck Fleurey, Benoit Baudry, Robert France and Sudipto Ghosh}",
  booktitle = "{Proc. 11th International Workshop on Aspect-Oriented Modeling}",
  year = "{2007}",
  editor = "",
  volume = "",
  series = "",
  pages = "",
  address = "{Nashville, USA}",
  month = "{September}",
  organization = "",
  publisher = "",
  note = "",
}
@ARTICLE{Myers1986,
  title = "{An O(ND) Difference Algorithm and Its Variations}",
  author = "{Eugene W. Myers}",
  journal = "{Algorithmica}",
  year = "{1986}",
  volume = "{1}",
  number = "{2}",
  pages = "{251-266}",
  month = "",
  note = "",
}
@ARTICLE{Heckel1978,
  title = "{A technique for isolating differences between files}",
  author = "{Paul Heckel}",
  journal = "{Communications of ACM}",
  year = "{1978}",
  volume = "{21}",
  number = "{4}",
  pages = "{264-268}",
  month = "",
  note = "",
}
@ARTICLE{Levenshtein,
  title = "{Binary codes capable of correcting deletions, insertions, and reversals}",
  author = "{V. I. Levenshtein}",
  journal = "{Soviet Physics Doklady}",
  year = "{1966}",
  volume = "{10}",
  number = "",
  pages = "{707-710}",
  month = "",
  note = "",
}
@ARTICLE{FuzzyStringMatching,
  title = "{A guided tour to approximate string matching}",
  author = "{G. Navarro}",
  journal = "{ACM Computing Surveys (CSUR)}",
  year = "{2001}",
  volume = "{33}",
  number = "{1}",
  pages = "{31-88}",
  month = "",
  note = "",
}
@ARTICLE{Wordnet,
  title = "{WordNet: a lexical database for English}",
  author = "{George A. Miller}",
  journal = "{Communications of ACM}",
  year = "{1995}",
  volume = "{38}",
  number = "{11}",
  pages = "{39-41}",
  month = "",
  note = "",
}
@INPROCEEDINGS{Amelie2001,
  title = "{Change-Centric Management of Versions in an {XML} Warehouse}",
  author = "{Am\'elie Marian and Serge Abiteboul and Gr\'egory Cob\'ena and Laurent Mignet}",
  booktitle = "{The {VLDB} Journal}",
  year = "{2001}",
  editor = "",
  volume = "",
  series = "",
  pages = "{581-590}",
  address = "",
  month = "",
  organization = "",
  publisher = "",
  note = "",
}
@INPROCEEDINGS{Amelie2002,
  title = "{Detecting Changes in XML Documents}",
  author = "{Am\'elie Marian}",
  booktitle = "{ICDE '02: Proceedings of the 18th International Conference on Data Engineering (ICDE'02)}",
  year = "{2002}",
  editor = "",
  volume = "",
  series = "",
  pages = "{41}",
  address = "{Washington, DC, USA}",
  month = "",
  organization = "",
  publisher = "",
  note = "",
}
@INPROCEEDINGS{TCS,
  title = "{TCS: a DSL for the Specification of Textual Concrete Syntaxes in Model Engineering}",
  author = "{Fr\'ederic Jouault, Jean B\'ezivin, and Ivan Kurtev}",
  booktitle = "{Proc GPCE'06: Proceedings of the fifth international conference on Generative programming and Component Engineering}",
  year = "{2006}",
  editor = "",
  volume = "",
  series = "",
  pages = "{249-254}",
  address = "",
  month = "",
  organization = "",
  publisher = "",
  note = "",
}
@INPROCEEDINGS{XText,
  title = "{oAW xText: A framework for textual DSLs}",
  author = "{Sven Efftinge, Markus V\"olter}",
  booktitle = "{In Eclipse Summit Europe, Eclipse Modeling Symposium}",
  year = "{2006}",
  editor = "",
  volume = "",
  series = "",
  pages = "",
  address = "{Esslingen, Germany}",
  month = "{October}",
  organization = "",
  publisher = "",
  note = "",
}
@INPROCEEDINGS{Vanhooff2005,
  title = "{Supporting Modular Transformation Units with Precise Transformation Traceability Metadata}",
  author = "{Bert Vanhooff and Yolande Berbers}",
  booktitle = "{Proc. Traceability Workshop, European Conference in Model Driven Architecture (EC-MDA)}",
  year = "{2005}",
  editor = "",
  volume = "",
  series = "",
  pages = "",
  address = "",
  month = "",
  organization = "",
  publisher = "",
  note = "",
}
@INPROCEEDINGS{Jouault2005b,
  title = "{Loosely Coupled Traceability for ATL}",
  author = "{Frederic Jouault}",
  booktitle = "{Proc. Traceability Workshop, European Conference in Model Driven Architecture (EC-MDA)}",
  year = "{2005}",
  editor = "",
  volume = "",
  series = "",
  pages = "{29-37}",
  address = "",
  month = "",
  organization = "",
  publisher = "",
  note = "",
}
@INPROCEEDINGS{Limon2005,
  title = "{The Need for a Unifying Traceability Scheme}",
  author = "{Angelina E. Limon and Juan Garbajosa}",
  booktitle = "{Proc. Traceability Workshop, European Conference in Model Driven Architecture (EC-MDA)}",
  year = "{2005}",
  editor = "",
  volume = "",
  series = "",
  pages = "{47-55}",
  address = "",
  month = "",
  organization = "",
  publisher = "",
  note = "",
}
@MISC{Traceability05,
  title = "{Future Research Topics Discussion}",
  author = "",
  howpublished = "{Traceability Workshop, EC-MDA}",
  month = "{November}",
  year = "{2005}",
  note = "{http://www.sintef.no/upload/10558/Future-Research-Topics.pdf}",
}
@ARTICLE{Heaven2004,
  title = "{A UML profile to support requirements engineering with KAOS}",
  author = "{William Heaven and Anthony Finkelstein}",
  journal = "{IEE Proceedings: Software}",
  year = "{2004}",
  volume = "{151}",
  number = "{1}",
  pages = "{10-27}",
  month = "",
  note = "",
}
@TECHREPORT{Chouali2005,
  title = "{Proving Component Interoperability with B Refinement}",
  author = "{Samir Chouali, Maritta Heisel, Jeanine Souqui\'eres}",
  institution = "{LORIA}",
  year = "{2005}",
  number = "",
  address = "",
  month = "{April}",
  note = "{http://hal.inria.fr/inria-00000171/en/}",
}
@INPROCEEDINGS{Brottier2006,
  title = "{Metamodel-based Test Generation for Model Transformations: an Algorithm and a Tool}",
  author = "{Erwan Brottier, Franck Fleurey, Jim Steel, Benoit Baudry, Yves Le Traon}",
  booktitle = "{Proc. 17th International Symposium on Software Reliability Engineering, ISSRE}",
  year = "{2006}",
  editor = "",
  volume = "",
  series = "",
  pages = "{85-94}",
  address = "",
  month = "{November}",
  organization = "",
  publisher = "",
  note = "",
}
@MISC{MTTC,
  title = "{Model Transformation Testing Challenges}",
  author = "",
  howpublished = "",
  month = "",
  year = "",
  note = "{http://www.irisa.fr/triskell/matt/papers/IMDT06.pdf}",
}
@BOOK{IEEE90,
  title = "{Standard Computer Dictionary: A Compilation of IEEE Standard Computer Glossaries}",
  author = "{Institute of Electrical and Electronics Engineers}",
  publisher = "{IEEE}",
  year = "{1990}",
  volume = "",
  series = "",
  address = "{New York}",
  edition = "",
  month = "",
  note = "",
}
@BOOK{JUnitInAction,
  title = "{JUnit in Action}",
  author = "{Vincent Massol, Ted Husted}",
  publisher = "{Manning}",
  year = "{2004}",
  volume = "",
  series = "",
  address = "",
  edition = "",
  month = "",
  note = "",
}
@ARTICLE{Kuster2006,
  title = "{Definition and validation of model transformations}",
  author = "{Jochen M. Kuster}",
  journal = "{Software and Systems Modeling}",
  year = "{2006}",
  volume = "{5}",
  number = "{3}",
  pages = "{233-259}",
  month = "{September}",
  note = "",
}
@INPROCEEDINGS{Fleurey2004,
  title = "{MDE and validation: Testing model transformation}",
  author = "{Franck Fleurey, Jim Steel, and Benoit Baudry}",
  booktitle = "{Proc. SIVOES-Modeva workshop}",
  year = "{2004}",
  editor = "",
  volume = "",
  series = "",
  pages = "",
  address = "{Rennes, France}",
  month = "{November}",
  organization = "",
  publisher = "",
  note = "",
}
@INPROCEEDINGS{Kuster2006,
  title = "{Validation of Model Transformations - First Experiences using a White Box Approach}",
  author = "{Jochen Kuster, Mohamed Abd-El-Razik}",
  booktitle = "{Proc. 3rd Workshop on Model Validation and Verification}",
  year = "{2006}",
  editor = "",
  volume = "",
  series = "",
  pages = "",
  address = "{Genoa, Italy}",
  month = "",
  organization = "",
  publisher = "",
  note = "",
}
@INPROCEEDINGS{Cariou2004,
  title = "{OCL for the Specification of Model Transformation Contracts}",
  author = "{Eric Cariou, Raphael Marvie, Lionel Seinturier and Laurence Duchien}",
  booktitle = "{Proc. Workshop OCL and Model Driven Engineering of the Seventh International Conference on UML Modeling Languages and Applications (UML 2004)}",
  year = "{2004}",
  editor = "",
  volume = "",
  series = "",
  pages = "",
  address = "{Lisbon, Portugual}",
  month = "{October}",
  organization = "",
  publisher = "",
  note = "",
}
@INPROCEEDINGS{Gray2005,
  title = "{A Testing Framework for Model Transformations}",
  author = "{Yuehua Lin, Jing Zhang, and Jeff Gray}",
  booktitle = "{Model-driven Software Development}",
  year = "{2005}",
  editor = "{Sami Beydeda, Matthias Book, and Volker Gruhn}",
  volume = "",
  series = "",
  pages = "{219-236}",
  address = "",
  month = "",
  organization = "",
  publisher = "{Springer}",
  note = "",
}
@INPROCEEDINGS{Gray2004,
  title = "{Model Comparison: A Key Challenge for Transformation Testing and Version Control in Model Driven Software Development}",
  author = "{Yuehua Lin, Jing Zhang, and Jeff Gray}",
  booktitle = "{Object Oriented Programing, Systems, Languages and Applications}",
  year = "{2004}",
  editor = "",
  volume = "",
  series = "",
  pages = "",
  address = "",
  month = "",
  organization = "",
  publisher = "",
  note = "",
}
@INPROCEEDINGS{MCC,
  title = "{MCC: A Model Transformation Environment}",
  author = "{Anneke Kleppe}",
  booktitle = "{Model Driven Architecture -- Foundations and Applications}",
  year = "{2006}",
  editor = "",
  volume = "{4066/2006}",
  series = "{LNCS}",
  pages = "{173-187}",
  address = "",
  month = "",
  organization = "",
  publisher = "{Springer}",
  note = "",
}
@MISC{OAWWorfklow,
  title = "{OpenArchitectureWare 4.1 Workflow Engine Reference}",
  author = "{Sven Efftinge, Markus Voelter}",
  howpublished = "{web resource}",
  month = "",
  year = "",
  note = "{http://www.eclipse.org/gmt/oaw/doc/4.1/r05\_workflowReference.pdf}",
}
@INPROCEEDINGS{AM3,
  title = "{Global Model Management In Eclipse GMT/AM3}",
  author = "{F Allilaire, J Bezivin, H Bruneliere, and F Jouault}",
  booktitle = "{Proc. Eclipse Technology eXchange workshop (eTX), ECOOP}",
  year = "{2006}",
  editor = "",
  volume = "",
  series = "",
  pages = "",
  address = "{Nantes, France}",
  month = "",
  organization = "",
  publisher = "",
  note = "",
}
@MISC{ModelBus,
  title = "{ModelBus}",
  author = "{Model Driven Development Integration Project}",
  howpublished = "",
  month = "",
  year = "",
  note = "{http://www.eclipse.org/mddi}",
}
@MISC{GnuMake,
  title = "{GNU Make, Official Web-Site}",
  author = "",
  howpublished = "",
  month = "",
  year = "",
  note = "{http://www.gnu.org/software/make/}",
}
@MISC{AntExternalTasks,
  title = "{ANT External Tools and Tasks}",
  author = "",
  howpublished = "",
  month = "",
  year = "",
  note = "{http://ant.apache.org/external.html}",
}
@BOOK{AntBook,
  title = "{Ant: The Definitive Guide, Second Edition}",
  author = "{Steve Holzner}",
  publisher = "{O'Reilly}",
  year = "{2005}",
  volume = "",
  series = "",
  address = "",
  edition = "",
  month = "{April}",
  note = "{ISBN 0-596-00609-8}",
}
@MISC{ANT,
  title = "{The Apache Ant Project}",
  author = "",
  howpublished = "",
  month = "",
  year = "",
  note = "{http://ant.apache.org}",
}
@MISC{Maven,
  title = "{Apache Maven Project}",
  author = "",
  howpublished = "",
  month = "",
  year = "",
  note = "{http://maven.apache.org}",
}
@MISC{AntVsMaven,
  title = "{Master and Commander}",
  author = "{Julien Dubois}",
  howpublished = "{Mastering J2EE Application Development Series}",
  month = "",
  year = "",
  note = "{http://www.oracle.com/ technology/pub/articles/masterj2ee/files/j2ee2.pdf}",
}
@MISC{Modelware,
  title = "{Modelware IST Project}",
  author = "",
  howpublished = "",
  month = "",
  year = "",
  note = "{http:///www.modelware-ist.org}",
}
@MISC{Modelplex,
  title = "{Modelplex IST Project}",
  author = "",
  howpublished = "",
  month = "",
  year = "",
  note = "{http:///www.modelware-ist.org}",
}
@MASTERSTHESIS{WeiLiu,
  title = "{Extending Epsilon with Support for Z models}",
  author = "{WeiLiu}",
  school = "{Department of Computer Science, The University of York}",
  year = "{2007}",
  address = "",
  month = "",
  note = "",
}
@INPROCEEDINGS{ECGF2005,
  title = "{An Agile and Extensible Code Generation Framework}",
  author = "{Dimitrios S. Kolovos, Richard F. Paige and Fiona A.C. Polack}",
  booktitle = "{Proc. 5th International Conference on eXtreme Programming and Agile Methods}",
  year = "{2005}",
  editor = "",
  volume = "",
  series = "",
  pages = "{226-229}",
  address = "",
  month = "",
  organization = "",
  publisher = "",
  note = "",
}
@INPROCEEDINGS{Refine05,
  title = "{Refinement via Consistency Checking in MDA}",
  author = "{Richard F. Paige, Dimitrios S. Kolovos and Fiona A.C. Polack}",
  booktitle = "{Refinement Workshop 2005}",
  year = "{2005}",
  editor = "",
  volume = "{137 (2)}",
  series = "",
  pages = "{151-161}",
  address = "",
  month = "",
  organization = "",
  publisher = "{Elsevier Science B. V.}",
  note = "",
}
@INPROCEEDINGS{ECMDA05,
  title = "{Operational Semantics for Traceability}",
  author = "{Netta Aizenbud-Reshef, Richard F. Paige, Julia Rubin, Yael Shaham-Gafni and Dimitrios S. Kolovos}",
  booktitle = "{European Conference in MDA}",
  year = "{2005}",
  editor = "",
  volume = "",
  series = "",
  pages = "{7-14}",
  address = "",
  month = "",
  organization = "",
  publisher = "",
  note = "",
}
@INPROCEEDINGS{SAC06,
  title = "{Adding an Action Semantics to MOF 2.0}",
  author = "{Richard F. Paige, Dimitrios S. Kolovos and Fiona A.C. Polack}",
  booktitle = "{Proc. ACM Symposium on Applied Computing (SAC) '06}",
  year = "{2006}",
  editor = "",
  volume = "",
  series = "",
  pages = "{1304-1305}",
  address = "{Dijon, France}",
  month = "{April}",
  organization = "",
  publisher = "",
  note = "",
}
@INPROCEEDINGS{Gamma2006,
  title = "{Model Comparison: A Foundation for Model Composition and Model Transformation Testing}",
  author = "{Dimitrios S. Kolovos, Richard F. Paige, Fiona A.C. Polack}",
  booktitle = "{Proc. 1st International Workshop on Global Integrated Model Management (GaMMa), ACM/IEEE ICSE 2006}",
  year = "{2006}",
  editor = "",
  volume = "",
  series = "",
  pages = "{13 - 20}",
  address = "{Shanghai, China}",
  month = "",
  organization = "",
  publisher = "{ACM Press}",
  note = "",
}
@INPROCEEDINGS{EOL,
  title = "{The Epsilon Object Language}",
  author = "{Dimitrios S. Kolovos, Richard F.Paige and Fiona A.C. Polack}",
  booktitle = "{Proc. European Conference in Model Driven Architecture (EC-MDA) 2006}",
  year = "{2006}",
  editor = "",
  volume = "{4066}",
  series = "{LNCS}",
  pages = "{128-142}",
  address = "{Bilbao, Spain}",
  month = "{July}",
  organization = "",
  publisher = "",
  note = "",
}
@INPROCEEDINGS{EML,
  title = "{Merging Models with the Epsilon Merging Language (EML)}",
  author = "{Dimitrios S. Kolovos, Richard F. Paige and Fiona A.C. Polack}",
  booktitle = "{Proc. ACM/IEEE 9th International Conference on Model Driven Engineering Languages and Systems (Models/UML 2006)}",
  year = "{2006}",
  editor = "",
  volume = "",
  series = "",
  pages = "{215-229}",
  address = "{Genova, Italy}",
  month = "{October}",
  organization = "",
  publisher = "{LNCS}",
  note = "",
}
@INPROCEEDINGS{Traceability06,
  title = "{On-Demand Merging of Traceability Links with Models}",
  author = "{Dimitrios S. Kolovos, Richard F. Paige, and Fiona A.C. Polack}",
  booktitle = "{Proc. 2nd EC-MDA Workshop on Traceability}",
  year = "{2006}",
  editor = "",
  volume = "",
  series = "",
  pages = "",
  address = "{Bilbao, Spain}",
  month = "{July}",
  organization = "",
  publisher = "",
  note = "",
}
@INPROCEEDINGS{RequirementsForDSLs,
  title = "{Requirements for Domain-Specific Languages}",
  author = "{Dimitrios S. Kolovos, Richard F. Paige, Tim Kelly, and Fiona A.C. Polack}",
  booktitle = "{Proc. 1st ECOOP Workshop on Domain-Specific Program Development (DSPD 2006)}",
  year = "{2006}",
  editor = "",
  volume = "",
  series = "",
  pages = "",
  address = "{Nantes, France}",
  month = "{July}",
  organization = "",
  publisher = "",
  note = "",
}
@INPROCEEDINGS{CanonicalScheme,
  title = "{A Canonical Scheme for Model Composition}",
  author = "{Jean Bez\'ivin, Salim Bouzitouna, Marcos Didonet Del Fabro, Marie-Pierre Gervais, Fr\'ed\'eric Jouault, Dimitrios Kolovos, Ivan Kurtev, and Richard F. Paige}",
  booktitle = "{Proc. European Conference in Model Driven Architecture (EC-MDA) 2006}",
  year = "{2006}",
  editor = "",
  volume = "{4066}",
  series = "{LNCS}",
  pages = "{346-360}",
  address = "{Bilbao, Spain}",
  month = "{July}",
  organization = "",
  publisher = "",
  note = "",
}
@INPROCEEDINGS{Klaus,
  title = "{Using a Model Merging Language for Reconciling Model Versions}",
  author = "{Klaus-D. Engel, Richard F. Paige, and Dimitrios S. Kolovos}",
  booktitle = "{Proc. European Conference in Model Driven Architecture (EC-MDA) 2006}",
  year = "{2006}",
  editor = "",
  volume = "{4066}",
  series = "{LNCS}",
  pages = "{143-157}",
  address = "{Bilbao, Spain}",
  month = "{July}",
  organization = "",
  publisher = "",
  note = "",
}
@INPROCEEDINGS{OCLApps2006,
  title = "{Towards Using OCL for Instance-Level Queries in Domain Specific Languages}",
  author = "{Dimitrios S. Kolovos, Richard F. Paige and Fiona A.C. Polack}",
  booktitle = "{Proc. OCL for (Meta-)Models in Multiple Application Domains (OCLApps), ACM Models/UML}",
  year = "{2006}",
  editor = "",
  volume = "",
  series = "",
  pages = "{26-37}",
  address = "{Genoa, Italy}",
  month = "{October}",
  organization = "",
  publisher = "",
  note = "",
}
@INPROCEEDINGS{EclipseEpsilon,
  title = "{Eclipse Development Tools for Epsilon}",
  author = "{Dimitrios S. Kolovos, Richard F. Paige, Fiona A.C. Polack}",
  booktitle = "{Eclipse Summit Europe, Eclipse Modeling Symposium}",
  year = "{2006}",
  editor = "",
  volume = "",
  series = "",
  pages = "",
  address = "{Esslingen, Germany}",
  month = "{October}",
  organization = "",
  publisher = "",
  note = "",
}
@INPROCEEDINGS{Gruschko2007,
  title = "{Towards Synchronizing Models with Evolving Metamodels}",
  author = "{Boris Gruschko, Dimitrios S. Kolovos, Richard F. Paige}",
  booktitle = "{Proc. Workshop on Model-Driven Software Evolution (MODSE), 11th European Conference on Software Maintenance and Reengineering}",
  year = "{2007}",
  editor = "",
  volume = "",
  series = "",
  pages = "",
  address = "{Amsterdam, The Netherlands}",
  month = "",
  organization = "",
  publisher = "",
  note = "",
}
@ARTICLE{EWL,
  title = "{Update Transformations in the Small with the Epsilon Wizard Language}",
  author = "{Dimitrios S. Kolovos, Richard F. Paige, Louis M. Rose and Fiona A.C. Polack}",
  journal = "{Journal of Object Technology (JOT), Special Issue for TOOLS Europe 2007}",
  year = "{2007}",
  volume = "",
  number = "",
  pages = "{53-69}",
  month = "",
  note = "",
}
@INPROCEEDINGS{ExeedPaper,
  title = "{Agile Model Editing in the Eclipse Modeling Framework using Executable Metamodel Annotations}",
  author = "{Dimitrios S. Kolovos, Richard F. Paige and Fiona A.C. Polack}",
  booktitle = "{Proc. First Intl. Workshop on Towers of Models}",
  year = "{2007}",
  editor = "",
  volume = "",
  series = "",
  pages = "{31-40}",
  address = "",
  month = "{June}",
  organization = "",
  publisher = "",
  note = "",
}
@INPROCEEDINGS{TVAppsCaseStudy,
  title = "{Implementing the Interactive Applications Case Study using Epsilon}",
  author = "{Dimitrios S. Kolovos, Richard F. Paige, Louis M. Rose and Fiona A.C. Polack}",
  booktitle = "{Proc. Model-Driven Development Tool Implementers Forum (MDD-TIF), TOOLS EUROPE}",
  year = "{2007}",
  editor = "",
  volume = "",
  series = "",
  pages = "",
  address = "",
  month = "",
  organization = "",
  publisher = "",
  note = "{http://www.dsmforum.org/events/MDD-TIF07/Epsilon.2.pdf}",
}
@ARTICLE{EASST07,
  title = "{Aligning OCL with Domain-Specific Languages to Support Intance-Level Model Queries}",
  author = "{Dimitrios S. Kolovos, Richard F. Paige, Fiona A.C. Polack}",
  journal = "{Electronic Communications of the EASST}",
  year = "{2007}",
  volume = "",
  number = "",
  pages = "",
  month = "",
  note = "",
}
@INPROCEEDINGS{GD07,
  title = "{Towards a Metamodel for Dependability Cases}",
  author = "{George Despotou, Dimitrios S. Kolovos, Richard F. Paige, Fiona A.C. Polack, Tim Kelly}",
  booktitle = "{Proc. 1st OMG Software Assurance Workshop}",
  year = "{2007}",
  editor = "",
  volume = "",
  series = "",
  pages = "",
  address = "",
  month = "",
  organization = "",
  publisher = "",
  note = "",
}
@INPROCEEDINGS{ES2007,
  title = "{Bridging the Epsilon Wizard Language and the Eclipse Graphical Modeling Framework}",
  author = "{Dimitrios S. Kolovos, Richard F. Paige, Louis M. Rose, Fiona A.C. Polack}",
  booktitle = "{Modeling Symposium, Eclipse Summit Europe}",
  year = "{2007}",
  editor = "",
  volume = "",
  series = "",
  pages = "",
  address = "{Ludwigsburg, Germany}",
  month = "",
  organization = "",
  publisher = "",
  note = "",
}
@INPROCEEDINGS{EGL,
  title = "{The Epsilon Generation Language (EGL)}",
  author = "{Louis M. Rose, Richard F. Paige, Dimitrios S. Kolovos, Fiona A.C. Polack}",
  booktitle = "{Proc. European Conference in Model Driven Architecture (ECMDA)}",
  year = "{2008}",
  editor = "",
  volume = "",
  series = "",
  pages = "",
  address = "",
  month = "",
  organization = "",
  publisher = "",
  note = "",
}
@INPROCEEDINGS{NovelFeatures,
  title = "{Novel Features in Languages of the Epsilon Model Management Platform}",
  author = "{Dimitrios S. Kolovos, Richard F. Paige and Fiona A.C. Polack}",
  booktitle = "{Proc. 2nd Workshop on Modeling in Software Engineering, 30th International Conference on Software Engineering (ICSE)}",
  year = "{2008}",
  editor = "",
  volume = "",
  series = "",
  pages = "{69-73}",
  address = "{Leipzig, Germany}",
  month = "{May}",
  organization = "",
  publisher = "",
  note = "",
}
@INPROCEEDINGS{ETL,
  title = "{The Epsilon Transformation Language}",
  author = "{Dimitrios S. Kolovos, Richard F. Paige and Fiona A.C. Polack}",
  booktitle = "{Proc. 1st International Conference on Model Transformation}",
  year = "{2008}",
  editor = "",
  volume = "",
  series = "",
  pages = "",
  address = "{Zurich, Switzerland}",
  month = "{July}",
  organization = "",
  publisher = "",
  note = "",
}
@INPROCEEDINGS{DrivalosTraceability08,
  title = "{Towards Rigorously Defined Model-to-Model Traceability}",
  author = "{Nicholas Drivalos, Richard F. Paige, Kiran J. Fernandes, Dimitrios S. Kolovos}",
  booktitle = "{Proc. 4th Traceability Workshop, ECMDA}",
  year = "{2008}",
  editor = "",
  volume = "",
  series = "",
  pages = "",
  address = "{Berlin, Germany}",
  month = "{June}",
  organization = "",
  publisher = "",
  note = "",
}
@INPROCEEDINGS{ICST08,
  title = "{Detecting and Repairing Inconsistencies Across Heterogeneous Models}",
  author = "{Dimitrios S. Kolovos, Richard F. Paige and Fiona A.C. Polack}",
  booktitle = "{Proc. 1st IEEE International Conference on Software Testing, Verification and Validation}",
  year = "{2008}",
  editor = "",
  volume = "",
  series = "",
  pages = "{356-364}",
  address = "{Lillehammer, Norway}",
  month = "{April}",
  organization = "",
  publisher = "",
  note = "",
}
@INPROCEEDINGS{EUnit,
  title = "{Unit Testing Model Management Operations}",
  author = "{Dimitrios S. Kolovos, Richard F. Paige, Louis M. Rose, Fiona A.C. Polack}",
  booktitle = "{Proc. 5th Workshop on Model Driven Engineering Verification and Validation (MoDeVVa), IEEE ICST}",
  year = "{2008}",
  editor = "",
  volume = "",
  series = "",
  pages = "",
  address = "{Lillehammer, Norway}",
  month = "{April}",
  organization = "",
  publisher = "",
  note = "",
}
@INPROCEEDINGS{EVL,
  title = "{On the Evolution of OCL for Capturing Structural Constraints in Modelling Languages}",
  author = "{Dimitrios S. Kolovos, Richard F. Paige and Fiona A.C. Polack}",
  booktitle = "{Proc. Dagstuhl Workshop on Rigorous Methods for Software Construction and Analysis}",
  year = "{2008}",
  editor = "",
  volume = "",
  series = "",
  pages = "",
  address = "",
  month = "",
  organization = "",
  publisher = "",
  note = "",
}
@INPROCEEDINGS{Paige2008,
  title = "{Building Model-Driven Engineering Traceability Classifications}",
  author = "{Richard F. Paige, Goran K. Olsen, Dimitrios S. Kolovos, and Steffen Zschaler}",
  booktitle = "{Proc. 4th Workshop on Traceability, ECMDA}",
  year = "{2008}",
  editor = "",
  volume = "",
  series = "",
  pages = "",
  address = "{Berlin, Germany}",
  month = "{July}",
  organization = "",
  publisher = "",
  note = "",
}
@INPROCEEDINGS{GD08,
  title = "{Defining a Framework for the Development and Management of Dependability Cases}",
  author = "{George Despotou, Dimitrios S. Kolovos, Tim P. Kelly, Richard F. Paige}",
  booktitle = "{Proc. 26th International System Safety Conference}",
  year = "{2008}",
  editor = "",
  volume = "",
  series = "",
  pages = "",
  address = "{Vancouver, Canada}",
  month = "{August}",
  organization = "",
  publisher = "",
  note = "",
}
@INPROCEEDINGS{EpsilonWorkflow,
  title = "{A Framework for Composing Modular and Interoperable Model Management Tasks}",
  author = "{Dimitrios S. Kolovos, Richard F. Paige, Fiona A.C. Polack}",
  booktitle = "{Proc. Workshop on Model Driven Tool and Process Integration (MDTPI), ECMDA}",
  year = "{2008}",
  editor = "",
  volume = "",
  series = "",
  pages = "",
  address = "{Berlin, Germany}",
  month = "{June}",
  organization = "",
  publisher = "",
  note = "",
}
@MISC{UMLNavigationUtility,
  title = "{UML Navigation Utility}",
  author = "",
  howpublished = "",
  month = "",
  year = "",
  note = "",
}
@MISC{Epsilon,
  title = "{Extensible Platform for Specification of Integrated Languages for mOdel maNagement (Epsilon)}",
  author = "",
  howpublished = "",
  month = "",
  year = "",
  note = "{http://www.eclipse.org/gmt/epsilon}",
}
@MISC{QD,
  title = "{PhD Qualifying Dissertation}",
  author = "{Dimitrios S. Kolovos}",
  howpublished = "{Department of Computer Science, The University of York}",
  month = "",
  year = "{2006}",
  note = "",
}
@INPROCEEDINGS{Zito2006,
  title = "{Modeling UML 2 Package Merge with Alloy}",
  author = "{Alanna Zito, Juergen Dingel}",
  booktitle = "{Proc. First Alloy Workshop}",
  year = "{2006}",
  editor = "",
  volume = "",
  series = "",
  pages = "",
  address = "",
  month = "",
  organization = "",
  publisher = "",
  note = "",
}
@INPROCEEDINGS{Langlois2006,
  title = "{Toward Families of QVT DSL and Tool}",
  author = "{Benoit Langlois, Daniel Exertier, Ghanshyamsinh Devda}",
  booktitle = "{Proc. 6th OOPSLA Workshop on Domain-Specific Modeling}",
  year = "{2006}",
  editor = "",
  volume = "",
  series = "",
  pages = "",
  address = "",
  month = "",
  organization = "",
  publisher = "",
  note = "",
}
@INPROCEEDINGS{Queralt2006,
  title = "{Un motor de transformacion de modelos con soporte para el lenguaje QVT relations}",
  author = "{Pascual Queralt, Luis Hoyos, Artur Boronat, Jose A. Carsi e Isidro Ramos}",
  booktitle = "{III Taller sobre Desarrollo de Software Dirigido por Modelos. MDA y Aplicaciones (DSDM'06)}",
  year = "{2006}",
  editor = "",
  volume = "",
  series = "",
  pages = "",
  address = "",
  month = "",
  organization = "",
  publisher = "",
  note = "",
}
@INPROCEEDINGS{Boronat2006,
  title = "{Exogenous Model Merging by means of Model Management Operators}",
  author = "{Artur Boronat, Jose A. Cars and Isidro Ramos}",
  booktitle = "{Third Workshop on Software Evolution through Transformations: Emracing the Change}",
  year = "{2006}",
  editor = "",
  volume = "",
  series = "",
  pages = "",
  address = "",
  month = "",
  organization = "",
  publisher = "",
  note = "",
}
@INPROCEEDINGS{Conmy2006,
  title = "{Challenges when using Model Driven Architecture in the development of Safety Critical Software }",
  author = "{Philippa Conmy, Richard F. Paige}",
  booktitle = "{Fourth International Workshop on Model-Based Methodologies for Pervasive and Embedded Software (MOMPES'07)}",
  year = "{2006}",
  editor = "",
  volume = "",
  series = "",
  pages = "",
  address = "",
  month = "",
  organization = "",
  publisher = "",
  note = "",
}
@MASTERSTHESIS{Karlsch2006,
  title = "{A model-driven framework for domain specific languages demonstrated on a test automation language}",
  author = "{Martin Karlsch}",
  school = "{Hasso-Plattner-Institute of Software Systems Engineering, Potsdam, Germany}",
  year = "{2007}",
  address = "",
  month = "",
  note = "",
}
@PHDTHESIS{Eessaar2006,
  title = "{Relational and Object-Relational Database Management Systems as Platforms for Managing Software Engineering Artifacts}",
  author = "{Erki Eessaar}",
  school = "{Tallinn University of Technology}",
  year = "{2006}",
  address = "",
  month = "",
  note = "",
}
@INPROCEEDINGS{Costa2007,
  title = "{RT-MDD Framework � A Practical Approach}",
  author = "{Marco Costa, Alberto Rodrigues da Silva}",
  booktitle = "{Proc. 3rd Traceability Workshop, ECMDA}",
  year = "{2007}",
  editor = "",
  volume = "",
  series = "",
  pages = "",
  address = "",
  month = "",
  organization = "",
  publisher = "",
  note = "",
}
@INPROCEEDINGS{MinimalOCL,
  title = "{A minimal OCL-based Profile for Model Transformation}",
  author = "{Roxana S. Giandini, Gabriela Perez, Claudia Pons}",
  booktitle = "{Proc. Ibero-American Symposium on Software Engineering and Knowledge Engineering (JIISIC)}",
  year = "{2007}",
  editor = "",
  volume = "",
  series = "",
  pages = "{237-246}",
  address = "",
  month = "",
  organization = "",
  publisher = "",
  note = "",
}
@INPROCEEDINGS{AlgebraicView,
  title = "{An Algebraic View on the Semantics of Model Composition}",
  author = "{Christoph Herrmann, Holger Krahn, Bernhard Rumpe, Martin Schindler, Steven Volkel}",
  booktitle = "{Proc. 3rd European Conference on Model Driven Architecture- Foundations and Applications (ECMDA)}",
  year = "{2007}",
  editor = "",
  volume = "",
  series = "",
  pages = "{99-113}",
  address = "",
  month = "",
  organization = "",
  publisher = "",
  note = "",
}
@INPROCEEDINGS{CrosscuttingMT,
  title = "{Analysis of Crosscutting in Model Transformations}",
  author = "{Klaas van den Berg and Bedir Tekinerdogan and Hoa Nguyen}",
  booktitle = "{Proc. ECMDA-TW Traceability Workshop}",
  year = "{2006}",
  editor = "",
  volume = "",
  series = "",
  pages = "{51-64}",
  address = "",
  month = "{July}",
  organization = "",
  publisher = "",
  note = "",
}
@PHDTHESIS{FeatureOriented,
  title = "{Feature Oriented Model Driven Product Lines}",
  author = "{Salvador Trujillo Gonzalez}",
  school = "{Department of Computer Sciences, University of the Basque Country}",
  year = "{2007}",
  address = "",
  month = "",
  note = "",
}
@INPROCEEDINGS{Weise2007,
  title = "{Genetic Programming meets Model-Driven Development}",
  author = "{Weise, T., Zapf, M., Ullah, M., Khan, U., Geihs, K.}",
  booktitle = "{Proc. 7th International Conference on Hybrid Intelligent Systems (HIS)}",
  year = "{2007}",
  editor = "",
  volume = "",
  series = "",
  pages = "{332-335}",
  address = "",
  month = "",
  organization = "",
  publisher = "",
  note = "",
}
@INPROCEEDINGS{Pons08,
  title = "{A Lightweight Approach for the Semantic Validation of Model Refinements}",
  author = "{Claudia Pons, Diego Garcia}",
  booktitle = "{Proc. Fourth Workshop on Model-Based Testing, ETAPS}",
  year = "{2008}",
  editor = "",
  volume = "",
  series = "",
  pages = "",
  address = "{Budapest, Hungary}",
  month = "",
  organization = "",
  publisher = "",
  note = "",
}
@INPROCEEDINGS{Brauer2007,
  title = "{Model-Level Integration of the OCL Standard Library Using a Pivot Model with Generics Support}",
  author = "{Matthias Brauer and Birgit Demuth}",
  booktitle = "{Proc. Workshop on Modelling Systems with OCL (Ocl4All)}",
  year = "{2007}",
  editor = "",
  volume = "",
  series = "",
  pages = "",
  address = "",
  month = "",
  organization = "",
  publisher = "",
  note = "",
}
@INPROCEEDINGS{Rubin2008,
  title = "{Declarative Approach for Model Composition}",
  author = "{Julia Rubin, Marsha Chechik, Steve Easterbrook}",
  booktitle = "{Proc. 2nd Workshop on Modeling in Software Engineering, ICSE}",
  year = "{2008}",
  editor = "",
  volume = "",
  series = "",
  pages = "",
  address = "{Leipzig, Germany}",
  month = "",
  organization = "",
  publisher = "",
  note = "",
}
@INPROCEEDINGS{VORA,
  title = "{Variation-Oriented Requirements Analysis (VORA)}",
  author = "{Narendra, N.C., Ponnalagu, K.}",
  booktitle = "{Proc. IEEE Congress on Services}",
  year = "{2007}",
  editor = "",
  volume = "",
  series = "",
  pages = "{159 - 166}",
  address = "",
  month = "{July}",
  organization = "",
  publisher = "",
  note = "",
}
@ARTICLE{Markovic2008,
  title = "{Semantics of OCL Specified with QVT}",
  author = "{Slavisa Markovic, Thomas Baar}",
  journal = "{Software and Systems Modeling}",
  year = "{2008}",
  volume = "",
  number = "",
  pages = "",
  month = "",
  note = "",
}
@MASTERSTHESIS{BrauerThesis,
  title = "{Design and Implementation of a Pivot Model as Exchange Format for Models and Metamodels in a QVT/OCL Development Environment}",
  author = "{Matthias Brauer}",
  school = "{Technishe Universitat Dresden}",
  year = "{2007}",
  address = "",
  month = "",
  note = "",
}
@INPROCEEDINGS{Reiter22007,
  title = "{Think Global, Act Local: Implementing Model Management with Domain-Specific Integration Languages}",
  author = "{Thomas Reiter, Werner Retschitzegger, Kerstin Altmanninger}",
  booktitle = "{Proc. Workshop on Multi-Paradigm Modeling: Concepts and Tools, MODELS}",
  year = "{2007}",
  editor = "",
  volume = "",
  series = "",
  pages = "",
  address = "{Genova, Italy}",
  month = "{October}",
  organization = "",
  publisher = "",
  note = "",
}
@INPROCEEDINGS{Pons2007,
  title = "{An Algebraic Approach for Composing Model Transformations in QVT}",
  author = "{Claudia Pons, Roxana Giandini, Gabriela Perez, Gabriel Baum}",
  booktitle = "{4th Workshop on Software Language Engineering}",
  year = "{2007}",
  editor = "",
  volume = "",
  series = "",
  pages = "",
  address = "",
  month = "",
  organization = "",
  publisher = "",
  note = "",
}
@INCOLLECTION{Lazar2007,
  title = "{An Agile MDA Approach for Executable UML Structured Activities}",
  author = "{I. Lazar, B. Parv, S. Montogna, I.-G. Czibula, C.-L. Lazar}",
  booktitle = "{Studia }",
  publisher = "{Univ. BABES-BOLYAI, Informatica}",
  year = "{2007}",
  editor = "",
  volume = "{32}",
  series = "",
  chapter = "",
  pages = "",
  address = "",
  edition = "",
  month = "",
  note = "",
}
@INPROCEEDINGS{ReiterPetri2007,
  title = "{Towards a runtime model based on colored Petri-nets for the execution of model transformations}",
  author = "{Thomas Reiter, Manuel Wimmer, Horst Kargl}",
  booktitle = "{Proc. 3rd Workshop on Models and Aspects - Handling Crosscutting Concerns in MDSD}",
  year = "{2007}",
  editor = "",
  volume = "",
  series = "",
  pages = "",
  address = "{Berlin, Germany}",
  month = "",
  organization = "",
  publisher = "",
  note = "",
}
@INPROCEEDINGS{Zamani2007,
  title = "{Critiquing the Application of Pattern Languages on UML Models}",
  author = "{Bahman Zamani, Greg Butler}",
  booktitle = "{Proc. 2nd Workshop on Quality in Modeling, MODELS}",
  year = "{2007}",
  editor = "",
  volume = "",
  series = "",
  pages = "{18--35}",
  address = "",
  month = "",
  organization = "",
  publisher = "",
  note = "",
}
@INPROCEEDINGS{Jeanneret2008,
  title = "{A Reference Process for Model Composition}",
  author = "{ Cedric Jeanneret, Robert B. France, Benoit Baudry}",
  booktitle = "{Proc. Aspect-Oriented Modeling Workshop, AOSD}",
  year = "{2008}",
  editor = "",
  volume = "",
  series = "",
  pages = "",
  address = "",
  month = "",
  organization = "",
  publisher = "",
  note = "",
}
@MISC{EpsilonTools,
  title = "{An Overview of the Epsilon Tools}",
  author = "{Dimitrios S. Kolovos}",
  howpublished = "",
  month = "{July}",
  year = "{2007}",
  note = "{http://www.eclipse.org/gmt/epsilon/doc/EpsilonTools.pdf}",
}
@MISC{Exeed,
  title = "{Exeed: EXtended Emf EDitor - User Manual}",
  author = "{Dimitrios S. Kolovos}",
  howpublished = "",
  month = "",
  year = "{2007}",
  note = "{www.eclipse.org/gmt/epsilon/doc/Exeed.pdf}",
}
@MISC{EpsilonProfilingTools,
  title = "{An Overview of the Epsilon Profiling Tools}",
  author = "{Dimitrios S. Kolovos}",
  howpublished = "",
  month = "{July}",
  year = "{2007}",
  note = "{http://www.eclipse.org/gmt/epsilon/doc/ EpsilonProfilingTools.pdf}",
}
@MISC{BinariesInstallation,
  title = "{Installing the Epsilon plug-ins}",
  author = "{Dimitrios Kolovos}",
  howpublished = "",
  month = "",
  year = "",
  note = "{http://www.eclipse.org/gmt/epsilon/doc/PluginInstallation.pdf}",
}
@MISC{CVSInstallation,
  title = "{Accessing the source code of Epsilon from CVS}",
  author = "{Dimitrios Kolovos}",
  howpublished = "",
  month = "",
  year = "",
  note = "{http://www.eclipse.org/gmt/epsilon/doc/EpsilonCVS.pdf}",
}
@MISC{Kay,
  title = "{Biography of Alan Kay}",
  author = "{Wikipedia Online Encyclopedia}",
  howpublished = "",
  month = "",
  year = "",
  note = "{http://en.wikipedia.org/wiki/Alan\_Kay}",
}
@ARTICLE{Capretz2003,
  title = "{A Brief History of the Object-Oriented Approach}",
  author = "{Luiz Fernando Capretz}",
  journal = "{ACM SIGSOFT Software Engineering Notes}",
  year = "{2003}",
  volume = "{28}",
  number = "{2}",
  pages = "{6}",
  month = "",
  note = "",
}
@INPROCEEDINGS{Kiczales1997,
  title = "{Aspect-Oriented Programming}",
  author = "{Gregor Kiczales, John Lamping, Anurag Mendhekar, Chris Maeda, Cristina Videira Lopes, Jean-Marc Loingtier, John Irwin}",
  booktitle = "{European Conference on Object-Oriented Programming (ECOOP)}",
  year = "{1997}",
  editor = "",
  volume = "{1241}",
  series = "{LNCS}",
  pages = "{220-242}",
  address = "{Finland}",
  month = "{June}",
  organization = "",
  publisher = "{Springer-Verlag}",
  note = "",
}
@MISC{Dictionary.com,
  title = "{Online Dictionary}",
  author = "",
  howpublished = "",
  month = "",
  year = "",
  note = "{www.dictionary.com}",
}
@INPROCEEDINGS{Bredenfeld1995,
  title = "{Tool integration and construction using generated graph based design representations}",
  author = "{A. Bredenfeld, R. Camposano}",
  booktitle = "{Proc. 32nd ACM/IEEE conference on Design Automation Conference}",
  year = "{1995}",
  editor = "",
  volume = "",
  series = "",
  pages = "{94-99}",
  address = "{San Francisco, CA.}",
  month = "{June}",
  organization = "",
  publisher = "",
  note = "",
}
@ARTICLE{Parnas1972,
  title = "{On the criteria to be used in decomposing systems into modules}",
  author = "{David L. Parnas}",
  journal = "{Communications of ACM}",
  year = "{1972}",
  volume = "{15}",
  number = "{12}",
  pages = "{1053--1058}",
  month = "",
  note = "",
}
@MISC{Macmas,
  title = "{MaCMAS/UML (Methodology for Analysing Complex MultiAgent Systems in UML)}",
  author = "{Joaqu\'in P\\verb|~|ena}",
  howpublished = "",
  month = "",
  year = "",
  note = "{http://james.eii.us.es/MaCMAS/index.php/Main\_Page}",
}
@BOOK{Meyer97,
  title = "{Object-Oriented Software Construction}",
  author = "{B. Meyer}",
  publisher = "{Prentice-Hall}",
  year = "{1997}",
  volume = "",
  series = "",
  address = "",
  edition = "{2}",
  month = "",
  note = "",
}
@MISC{TVAppsCaseStudy,
  title = "{Interactive Television Applications Case Study}",
  author = "{ Model-Driven Development  Tool Implementers Forum Organizers}",
  howpublished = "",
  month = "",
  year = "{2007}",
  note = "{http://www.dsmforum.org/events/MDD-TIF07/InteractiveTVApps.pdf}",
}
@MISC{MDDTIF,
  title = "{ Model-Driven Development  Tool Implementers Forum}",
  author = "",
  howpublished = "",
  month = "",
  year = "{2007}",
  note = "{http://www.dsmforum.org/events/MDD-TIF07/}",
}
@BOOK{SEI,
  title = "{Software architecture in practice}",
  author = "{Len Bass and Paul Clements and Rick Kazman}",
  publisher = "{Addison-Wesley Longman Publishing Co., Inc.}",
  year = "{1998}",
  volume = "",
  series = "",
  address = "{Boston, MA, USA}",
  edition = "",
  month = "",
  note = "{ISBN: 0-201-19930-0}",
}
@BOOK{DragonBook,
  title = "{Compilers: principles, techniques, and tools}",
  author = "{Alfred V. Aho and Ravi Sethi and Jeffrey D. Ullman}",
  publisher = "{Addison-Wesley Longman Publishing Co., Inc.}",
  year = "{1986}",
  volume = "",
  series = "",
  address = "{Boston, MA, USA}",
  edition = "",
  month = "",
  note = "",
}
@MISC{Java,
  title = "{Java Programming Language}",
  author = "",
  howpublished = "",
  month = "",
  year = "",
  note = "{http://java.sun.com}",
}
@MISC{AMMA,
  title = "{Atlas Model Management Architecture}",
  author = "",
  howpublished = "",
  month = "",
  year = "",
  note = "{http://www.sciences.univ-nantes.fr/lina/atl/AMMAROOT/}",
}
@MISC{ANTLR,
  title = "{ANTLR: ANother Tool For Language Recognition, Official Web-Site}",
  author = "",
  howpublished = "{http://www.antlr.org}",
  month = "",
  year = "",
  note = "",
}
@MISC{Graphviz,
  title = "{Graphviz - Graph Visualization Software, Official Web-Site}",
  author = "",
  howpublished = "",
  month = "",
  year = "",
  note = "{http://www.graphviz.org}",
}
@MISC{oAW,
  title = "{openArchitectureWare MDSD platform, Official Web-Site}",
  author = "",
  howpublished = "",
  month = "",
  year = "",
  note = "{http://www.openarchitectureware.org/}",
}
@TECHREPORT{Spoon,
  title = "{Spoon: Program Analysis and Transformation in Java}",
  author = "{Renaud Pawlak, Carlos Noguera, Nicholas Petitprez}",
  institution = "{INRIA}",
  year = "{2006}",
  number = "{5901}",
  address = "",
  month = "{May}",
  note = "",
}
@MISC{Topcased,
  title = "{Toolkit in OPen source for Critical Applications \& SystEms Development (TOPCASED)}",
  author = "",
  howpublished = "",
  month = "",
  year = "",
  note = "{http://www.topcased.org}",
}
@MISC{CZT,
  title = "{Community Z Tools}",
  author = "",
  howpublished = "",
  month = "",
  year = "",
  note = "{http://czt.sourceforge.net}",
}
@MISC{MWE,
  title = "{Eclipse Modeling Workflow Engine Project}",
  author = "",
  howpublished = "",
  month = "",
  year = "",
  note = "{http://www.eclipse.org/modeling/emft/?project=mwe}",
}
@MISC{EMP,
  title = "{Eclipse Modeling Project}",
  author = "",
  howpublished = "",
  month = "",
  year = "{2007}",
  note = "{http://www.eclispe.org/modeling}",
}
@BOOK{JNI,
  title = "{Java Native Interface: Programmer's Guide and Specification}",
  author = "{Sheng Liang}",
  publisher = "{Addison-Wesley Longman Publishing Co., Inc.}",
  year = "{1999}",
  volume = "",
  series = "",
  address = "{Boston, MA, USA}",
  edition = "",
  month = "",
  note = "",
}
@MISC{Simmetrics,
  title = "{SimMetrics Similarity Metrics Library}",
  author = "",
  howpublished = "",
  month = "",
  year = "",
  note = "{http://www.dcs.shef.ac.uk/\verb|~|sam/simmetrics.html}",
}
@MISC{GEMS,
  title = "{Generic Eclipse Modeling System}",
  author = "",
  howpublished = "",
  month = "",
  year = "",
  note = "{http://www.eclipse.org/gmt/gems}",
}
@MISC{EclipseArchitecture,
  title = "{Platform Plugin Developer Guide, Platform Architecture}",
  author = "{Eclipse Foundation}",
  howpublished = "",
  month = "",
  year = "{2007}",
  note = "{http://help.eclipse.org/help33/index.jsp? topic=/org.eclipse.platform.doc.isv/guide/arch.htm}",
}
@BOOK{Jackson1995,
  title = "{Software requirements and specifications: a lexicon of practice, principles and prejudices}",
  author = "{Michael Jackson}",
  publisher = "{ACM Press/Addison-Wesley Publishing Co.}",
  year = "{1995}",
  volume = "",
  series = "",
  address = "{New York, NY, USA}",
  edition = "",
  month = "",
  note = "{ISBN: 0-201-87712-0}",
}

@book{Guttman2006,
	edition = {first},
	title = {{Real-Life} {MDA:} Solving Business Problems with Model Driven Architecture},
	isbn = {0123705924},
	shorttitle = {{Real-Life} {MDA}},
	publisher = {Morgan Kaufmann},
	author = {Michael Guttman and John Parodi},
	month = dec,
	year = {2006},
}

@incollection{Chaudron2009,
	address = {Berlin, Germany},
	series = {LNCS},
	title = {Challenges in {Model-Driven} Software Engineering},
	volume = {5421},
	isbn = {978-3-642-01647-9},
	booktitle = {Models in Software Engineering},
	publisher = {Springer-Verlag},
	author = {Ragnhild Straeten and Tom Mens and Stefan Baelen},
	editor = {Michel R. V. Chaudron},
	year = {2009},
	pages = {35--47}
}

@article{Baudry2010,
	title = {Barriers to systematic model transformation testing},
	volume = {53},
	issn = {0001-0782},
	journal = {Communications of the {ACM}},
	author = {Benoit Baudry and Sudipto Ghosh and Franck Fleurey and Robert France and Yves {Le Traon} and {Jean-Marie} Mottu},
	month = jun,
	year = {2010},
	pages = {139--143}
}

@inproceedings{Mottu2008,
	address = {Lillehammer, Norway},
	title = {Model transformation testing: oracle issue},
	isbn = {978-0-7695-3388-9},
	shorttitle = {Model transformation testing},
	doi = {10.1109/ICSTW.2008.27},
	booktitle = {Proc. of the 2008 {IEEE} Int. Conf. on Software Testing Verification and Validation},
	author = {{Jean-Marie} Mottu and Benoit Baudry and Yves {Le Traon}},
	month = apr,
	year = {2008},
	pages = {105--112}
}

@book{Steinberg2008,
	edition = {second},
	title = {{EMF:} Eclipse Modeling Framework},
	isbn = {0321331885},
	publisher = {{Addison-Wesley} Professional},
	author = {Dave Steinberg and Frank Budinsky and Marcelo Paternostro and Ed Merks},
	month = dec,
	year = {2008}
}

@misc{JUnit2011,
	title = {{JUnit.org}},
	url = {http://www.junit.org/},
	author = {Kent Beck},
	month = apr,
	year = {2011},
}
@misc{TestNG,
  title = {{TestNG}},
  url = {http://testng.org/},
  author = {C\'{e}dric Beust},
  month = mar,
  year = {2011},
}
@misc{Jenkins,
  title = {Jenkins {CI}},
  url = {http://jenkins-ci.org/},
  author = {Kohsuke Kawaguchi},
  month = apr,
  year = {2011},
},
@inproceedings{Saff2007,
	address = {New York, {NY,} {USA}},
	series = {{OOPSLA} '07},
	title = {Theory-infected: or how {I} learned to stop worrying and love universal quantification},
	isbn = {978-1-59593-865-7},
	location = {Montreal, Quebec, Canada},
	shorttitle = {Theory-infected},
	doi = {10.1145/1297846.1297919},
	booktitle = {Companion to the 22nd {ACM} {SIGPLAN} Conf. on Object-oriented Programming Systems and Applications},
	publisher = {{ACM}},
	author = {David Saff},
	year = {2007},
	pages = {846--847}
}
@phdthesis{sprinkle03thesis,
  author = {Sprinkle, J.},
  title  = {Metamodel Driven Model Migration},
  school = {Vanderbilt University, TN, USA},
  year   = {2003},
}
@inproceedings{herrmannsdoerfer08automatability,
  author    = {Herrmannsdoerfer, M. and Benz, S. and Juergens, E.},
  title     = {Automatability of Coupled Evolution of Metamodels and Models
               in Practice},
  booktitle = {Proc. International Conference on Model Driven Engineering Languages and Systems (MoDELS)},
  year      = {2008},
  series    = {Lecture Notes in Computer Science},
  volume    = {5301},
  publisher = {Springer},
  location  = {Toulouse, France},
  pages     = {645--659},
  editor    = {Czarnecki, K. and Ober, I. and Bruel, J. and Uhl, A. and V{\"o}lter, M.},
}
@article{rose12flock,
  author    = {Rose, L.M and Kolovos, D.S. and Paige, R.F and Polack, F.A.C.},
  title     = {{Epsilon Flock}: A Model Migration Language},
  journal   = {Software and Systems Modeling [accepted and to appear]},
  year      = {2012},
}
@phdthesis{rose11thesis,
  author = {Rose, L.M.},
  title  = {Structures and Processes for Managing Model-Metamodel Co-evolution},
  school = {University of York, United Kingdom},
  year   = {2011},
}
@inproceedings{rose10comparison,
  author    = {Rose, L.M. and Herrmannsdoerfer, M. and Williams, J.R. and Kolovos, D.S. and Garc\'{e}s, K. and Paige, R.F. and Polack, F.A.C.},
  title	    = {A Comparison of Model Migration Tools},
  booktitle = {Proc. International Conference on Model Driven Engineering Languages and Systems (MoDELS), Part I},
  year	    = {2010},
  pages     = {61-75},
  editor    = {Petriu, D.C. and Rouquette, N. and Haugen, {\O}.},
  location  = {Oslo, Norway},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {6394},
}

@inproceedings{Ferdjoukh2015,
  author={A. Ferdjoukh and A. Baert and E. Bourreau and A. Chateau and R. Coletta and C. Nebut},
  title = {Instantiation of {Meta}-models {Constrained} with {OCL} - {A} {CSP} {Approach}},
	isbn = {978-989-758-083-3},
	doi = {10.5220/0005231402130222},
	language = {en},
	urldate = {2018-07-04},
	publisher = {SCITEPRESS},
	year = {2015},
	pages = {213--222},
}