1. J.-R. Abrial (1996): The B-book: assigning programs to meanings. Cambridge University Press.
  2. R. Bird (1998): Introduction to Functional Programming using Haskell. Prentice Hall.
  3. Australian Transport Safety Bureau (2011): In-flight upset 154km West of Learmouth, WA, VH-QPA, Airbus A330-303. Aviation Safety Investigations and Reports AO-2008-070.
  4. R. N. Charette (2009): This car runs on code. IEEE Spectrum. Available at
  5. JBoss Community: Hibernate: Relational Persistence for Java and .NET.
  6. J. Davies, C. Crichton, E. Crichton, D. Neilson & I. H. Sørensen (2005): Formality, evolution, and model-driven software engineering. ENTCS 130, pp. 39–55, doi:10.1016/j.entcs.2005.03.004.
  7. B. Demuth & H. Hussmann (1999): Using UML/OCL Constraints for Relational Database Design. In: UML, LNCS 1723, pp. 598–613, doi:10.1007/3-540-46852-8\voidb@x 0.06emwidth0.5em42.
  8. A. van Deursen, P. Klint & J. Visser (2000): Domain-Specific Languages: An Annotated Bibliography. SIGPLAN Notices 35(6), pp. 26–36, doi:10.1145/352029.352035.
  9. H.-E. Eriksson, M. Penker & D. Fado (2003): UML 2 Toolkit. Wiley.
  10. P.H. Feiler (2010): Model-based validation of safety-critical embedded systems. In: Aerospace Conference. IEEE, pp. 1 – 10, doi:10.1109/AERO.2010.5446809.
  11. D. S. Frankel (2003): Model Driven Architecture: Applying MDA to Enterprise Computing. Wiley.
  12. S. Hidaka, Z. Hu, H. Kato & K. Nakano (2009): Towards a compositional approach to model transformation for software development. In: SAC. ACM, pp. 468–475, doi:10.1145/1529282.1529383.
  13. F. Jouault, F. Allilaire, J. Bézivin & I. Kurtev (2008): ATL: A model transformation tool. Science of Computer Programming 72(1–2), pp. 31–39, doi:10.1016/j.scico.2007.08.002.
  14. A. Mammar (2009): A systematic approach to generate B preconditions: application to the database domain. Software and Systems Modeling 8(3), pp. 385–401, doi:10.1007/s10270-008-0098-8.
  15. A. Massoudi (2012): Knight Capital glitch loss hits $461m. Financial Times.
  16. K. Nakano, Z. Hu & M. Takeichi (2009): Consistent Web site updating based on bidirectional transformation. Int. J. Softw. Tools Technol. Transf. 11(6), pp. 453–468, doi:10.1007/s10009-009-0124-3.
  17. OMG (2009): Meta Object Facility (MOF) 2.0 Query/View/Transformation Specification. OMG Document ptc/09-12-05. Object Management Group.
  18. K. Pohl, G. Böckle & F. J. van der Linden (2005): Software Product Line Engineering: Foundations, Principles, and Techniques. Springer, doi:10.1007/3-540-28901-1.
  19. W. P. de Roever & K. Engelhardt (1999): Data Refinement: Model-Oriented Proof Methods and Their Comparison. Cambridge University Press.
  20. C. Russell (2008): Bridging the Object-Relational Divide. ACM Queue 6(3), pp. 18–28, doi:10.1145/1394127.1394139.
  21. RTCA SC-205 (2011): DO-178C, Software Considerations in Airborne Systems and Equipment Certification. Approved by Special Committee 205 of Radio Technical Commission for Aeronautic.
  22. K. Stenzel, N. Moebius & W. Reif (2011): Formal Verification of QVT Transformations for Code Generation. In: MoDELS, pp. 533–547, doi:10.1007/978-3-642-24485-8\voidb@x 0.06emwidth0.5em39.
  23. C.-W. Wang (2012): Model-Driven Development of Information Systems. University of Oxford, Oxford University Research Archive.
  24. J. Welch, D. Faitelson & J. Davies (2008): Automatic Maintenance of Association Invariants. Software and Systems Modeling 7(3), pp. 287–301, doi:10.1007/s10270-008-0085-0.
  25. M. Williams (2010): Toyota to recall Prius hybrids over ABS software. Computerworld.
  26. J. Woodcock & J. Davies (1996): Using Z. Prentice Hall.

Comments and questions to:
For website issues: