@book(Abrial1996,
 author       = "J.-R. Abrial",
 year         = "1996",
 title        = "The B-book: assigning programs to meanings",
 publisher    = "Cambridge University Press",
)
@book(Bird1998,
 author       = "R. Bird",
 year         = "1998",
 title        = "Introduction to Functional Programming using Haskell",
 publisher    = "Prentice Hall",
)
@article(qantas,
 author       = "Australian Transport Safety Bureau",
 year         = "2011",
 title        = "In-flight upset 154km West of Learmouth, WA, VH-QPA, Airbus A330-303",
 journal      = "Aviation Safety Investigations and Reports",
 volume       = "AO-2008-070",
)
@article(Charette2009,
 author       = "R. N. Charette",
 year         = "2009",
 title        = "This car runs on code",
 journal      = "IEEE Spectrum",
 url          = "http://www.spectrum.ieee.org/feb09/7649",
)
@misc(Hibernate,
 author       = "JBoss Community",
 title        = "Hibernate: Relational Persistence for {Java} and {.NET}",
 note         = "\url {www.hibernate.org}",
)
@article(Davies2005,
 author       = "J. Davies and C. Crichton and E. Crichton and D. Neilson and I. H. S{\o }rensen",
 year         = "2005",
 title        = "Formality, evolution, and model-driven software engineering",
 journal      = "ENTCS",
 volume       = "130",
 pages        = "39--55",
 doi          = "10.1016/j.entcs.2005.03.004",
)
@inproceedings(Demuth1999,
 author       = "B. Demuth and H. Hussmann",
 year         = "1999",
 title        = "Using {UML}/{OCL} Constraints for Relational Database Design",
 booktitle    = "UML",
 series       = "LNCS",
 volume       = "1723",
 pages        = "598--613",
 doi          = "10.1007/3-540-46852-8\unhbox \voidb@x \kern 0.06em\vbox {\hrule width0.5em}42",
)
@article(Deursen2000,
 author       = "A. van Deursen and P. Klint and J. Visser",
 year         = "2000",
 title        = "Domain-Specific Languages: An Annotated Bibliography",
 journal      = "SIGPLAN Notices",
 volume       = "35",
 number       = "6",
 pages        = "26--36",
 doi          = "10.1145/352029.352035",
)
@book(Eriksson2003,
 author       = "H.-E. Eriksson and M. Penker and D. Fado",
 year         = "2003",
 title        = "UML 2 Toolkit",
 publisher    = "Wiley",
)
@inproceedings(Feiler2010,
 author       = "P.H. Feiler",
 year         = "2010",
 title        = "Model-based validation of safety-critical embedded systems",
 booktitle    = "Aerospace Conference",
 publisher    = "IEEE",
 pages        = "1 -- 10",
 doi          = "10.1109/AERO.2010.5446809",
)
@book(Frankel2003,
 author       = "D. S. Frankel",
 year         = "2003",
 title        = "Model Driven Architecture: Applying {MDA} to Enterprise Computing",
 publisher    = "Wiley",
)
@inproceedings(Hidaka2009,
 author       = "S. Hidaka and Z. Hu and H. Kato and K. Nakano",
 year         = "2009",
 title        = "Towards a compositional approach to model transformation for software development",
 booktitle    = "SAC",
 publisher    = "ACM",
 pages        = "468--475",
 doi          = "10.1145/1529282.1529383",
)
@article(Jouault2008,
 author       = "F. Jouault and F. Allilaire and J. B{\'e}zivin and I. Kurtev",
 year         = "2008",
 title        = "{ATL: A model transformation tool}",
 journal      = "Science of Computer Programming",
 volume       = "72",
 number       = "1--2",
 pages        = "31--39",
 doi          = "10.1016/j.scico.2007.08.002",
)
@article(Mammar2008,
 author       = "A. Mammar",
 year         = "2009",
 title        = "A systematic approach to generate {B} preconditions: application to the database domain",
 journal      = "Software and Systems Modeling",
 volume       = "8",
 number       = "3",
 pages        = "385--401",
 doi          = "10.1007/s10270-008-0098-8",
)
@article(knight,
 author       = "A. Massoudi",
 year         = "2012",
 title        = "Knight Capital glitch loss hits \$461m",
 journal      = "Financial Times",
)
@article(Nakano2009,
 author       = "K. Nakano and Z. Hu and M. Takeichi",
 year         = "2009",
 title        = "Consistent Web site updating based on bidirectional transformation",
 journal      = "Int. J. Softw. Tools Technol. Transf.",
 volume       = "11",
 number       = "6",
 pages        = "453--468",
 doi          = "10.1007/s10009-009-0124-3",
)
@techreport(QVT2009,
 author       = "OMG",
 year         = "2009",
 title        = "{Meta Object Facility (MOF) 2.0 Query/View/Transformation Specification}",
 type         = "OMG Document",
 number       = "ptc/09-12-05",
 institution  = "Object Management Group",
 note         = "\url {http://www.omg.org/spec/QVT/1.1/Beta2/PDF/}",
)
@book(Pohl2005,
 author       = "K. Pohl and G. B\"{o}ckle and F. J. van der Linden",
 year         = "2005",
 title        = "Software Product Line Engineering: Foundations, Principles, and Techniques",
 publisher    = "Springer",
 doi          = "10.1007/3-540-28901-1",
)
@book(DeRoever1999,
 author       = "W. P. de Roever and K. Engelhardt",
 year         = "1999",
 title        = "Data Refinement: Model-Oriented Proof Methods and Their Comparison",
 publisher    = "Cambridge University Press",
)
@article(Russell2008,
 author       = "C. Russell",
 year         = "2008",
 title        = "Bridging the Object-Relational Divide",
 journal      = "ACM Queue",
 volume       = "6",
 number       = "3",
 pages        = "18--28",
 doi          = "10.1145/1394127.1394139",
)
@misc(DO178C,
 author       = "RTCA SC-205",
 year         = "2011",
 title        = "{DO-178C}, Software Considerations in Airborne Systems and Equipment Certification",
 howpublished = "Approved by Special Committee 205 of Radio Technical Commission for Aeronautic",
)
@inproceedings(Stenzel2011,
 author       = "K. Stenzel and N. Moebius and W. Reif",
 year         = "2011",
 title        = "Formal Verification of {QVT} Transformations for Code Generation",
 booktitle    = "MoDELS",
 pages        = "533--547",
 doi          = "10.1007/978-3-642-24485-8\unhbox \voidb@x \kern 0.06em\vbox {\hrule width0.5em}39",
)
@phdthesis(WangThesis2012,
 author       = "C.-W. Wang",
 year         = "2012",
 title        = "Model-Driven Development of Information Systems",
 school       = "University of Oxford",
 address      = "Oxford University Research Archive",
)
@article(Welch2008,
 author       = "J. Welch and D. Faitelson and J. Davies",
 year         = "2008",
 title        = "Automatic Maintenance of Association Invariants",
 journal      = "Software and Systems Modeling",
 volume       = "7",
 number       = "3",
 pages        = "287--301",
 doi          = "10.1007/s10270-008-0085-0",
)
@article(toyota,
 author       = "M. Williams",
 year         = "2010",
 title        = "Toyota to recall Prius hybrids over ABS software",
 journal      = "Computerworld",
)
@book(Woodcock1996,
 author       = "J. Woodcock and J. Davies",
 year         = "1996",
 title        = "Using {Z}",
 publisher    = "Prentice Hall",
)