J.-R. Abrial (1996):
The B-book: assigning programs to meanings.
Cambridge University Press.
R. Bird (1998):
Introduction to Functional Programming using Haskell.
Prentice Hall.
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.
JBoss Community:
Hibernate: Relational Persistence for Java and .NET.
www.hibernate.org.
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.
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.
H.-E. Eriksson, M. Penker & D. Fado (2003):
UML 2 Toolkit.
Wiley.
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.
D. S. Frankel (2003):
Model Driven Architecture: Applying MDA to Enterprise Computing.
Wiley.
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.
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.
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.
A. Massoudi (2012):
Knight Capital glitch loss hits $461m.
Financial Times.
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.
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.
W. P. de Roever & K. Engelhardt (1999):
Data Refinement: Model-Oriented Proof Methods and Their Comparison.
Cambridge University Press.
C. Russell (2008):
Bridging the Object-Relational Divide.
ACM Queue 6(3),
pp. 18–28,
doi:10.1145/1394127.1394139.
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.
C.-W. Wang (2012):
Model-Driven Development of Information Systems.
University of Oxford,
Oxford University Research Archive.
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.
M. Williams (2010):
Toyota to recall Prius hybrids over ABS software.
Computerworld.
J. Woodcock & J. Davies (1996):
Using Z.
Prentice Hall.