Jean-Raymond Abrial, Michael Butler, Stefan Hallerstede, Thai Son Hoang, Farhad Mehta & Laurent Voisin (2010):
Rodin: an open toolset for modelling and reasoning in Event-B.
Int. J. Softw. Tools Technol. Transf. 12,
pp. 447–466,
doi:10.1007/s10009-010-0145-y.
Jean-Raymond Abrial & Stefan Hallerstede (2007):
Refinement, Decomposition, and Instantiation of Discrete Models: Application to Event-B.
Fundam. Inf. 77(1-2),
pp. 1–28.
Eric Allen, David Chase, Victor Luchangco, Jan-Willem Maessen & Guy L Steele Jr (2004):
Object-oriented units of measurement.
ACM SIGPLAN Notices 39(10),
pp. 384–403,
doi:10.1145/1028976.1029008.
Frédéric Boniol & Virginie Wiels (2014):
The Landing Gear System Case Study.
In: ABZ 2014: The Landing Gear Case Study.
Springer,
pp. 1–18,
doi:10.1007/978-3-319-07512-9_1.
Jonathan Bowen & Victoria Stavridou (1993):
Safety-critical systems, formal methods and standards.
Software Engineering Journal 8(4),
pp. 189–209,
doi:10.1049/sej.1993.0025.
Hervé Brönnimann, Guillaume Melquiond & Sylvain Pion (2003):
The Boost interval arithmetic library.
In: Real Numbers and Computers,
pp. 65–80.
Jonathan Cooper & Steve McKeever (2008):
A model-driven approach to automatic conversion of physical units.
Software: Practice and Experience 38(4),
pp. 337–359,
doi:10.1002/spe.828.
Sophia Drossopoulou, Susan Eisenbach & Sarfraz Khurshid (1999):
Is the Java type system sound?.
TAPOS 5(1),
pp. 3–24.
J. Paul Gibson, Eric Lallet & Jean-Luc Raffy (2011):
Formal Object Oriented Development of a Voting System Test Oracle.
Innovations in Systems and Software Engineering (Special issue UML-FM11) 7(4),
pp. 237–245,
doi:10.1007/s11334-011-0167-y.
James Gleick (2011):
Chaos: Making a new science (Enhanced edition).
Open Road Media.
David Goldberg (1991):
What every computer scientist should know about floating-point arithmetic.
ACM Computing Surveys (CSUR) 23(1),
pp. 5–48,
doi:10.1145/103162.103163.
Thomas R Gruber & Gregory R Olsen (1994):
An Ontology for Engineering Mathematics.
KR 94,
pp. 258–269.
Timothy Hickey, Qun Ju & Maarten H Van Emden (2001):
Interval arithmetic: From principles to implementation.
Journal of the ACM (JACM) 48(5),
pp. 1038–1068,
doi:10.1145/502102.502106.
Thai Son Hoang, Laurent Voisin, A. Salehi, Michael J. Butler, Toby Wilkinson & N. Beauger (2017):
Theory Plug-in for Rodin 3.x.
CoRR abs/1701.08625.
Available at http://arxiv.org/abs/1701.08625.
Lingxiao Jiang & Zhendong Su (2006):
Osprey: a practical type system for validating dimensional unit correctness of C programs.
In: Proceedings of the 28th international conference on Software engineering.
ACM,
pp. 262–271,
doi:10.1145/1134285.1134323.
R Baker Kearfott (1996):
Interval computations: Introduction, uses, and resources.
Euromath Bulletin 2(1),
pp. 95–112.
Andrew Kennedy (1996):
Programming languages and dimensions.
University of Cambridge, Computer Laboratory.
Amel Mammar & Régine Laleau (2014):
Modeling a landing gear system in Event-B.
In: International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z.
Springer,
pp. 80–94,
doi:10.1007/978-3-319-07512-9_6.
Dominique Méry, Rushikesh Sawant & Anton Tarasyuk (2015):
Integrating Domain-Based Features into Event-B: A Nose Gear Velocity Case Study.
In: Ladjel Bellatreche & Yannis Manolopoulos: Model and Data Engineering - 5th International Conference, MEDI 2015, Rhodes, Greece, September 26-28, 2015, Proceedings,
Lecture Notes in Computer Science 9344.
Springer,
pp. 89–102,
doi:10.1007/978-3-319-23781-7_8.
Ramon E. Moore (1962):
Interval Arithmetic and Automatic Error Analysis in Digital Computing.
Department of Computer Science, Stanford University.
TJ Quinn (1995):
Base units of the Système International d'Unités, their accuracy, dissemination and international traceability.
Metrologia 31(6),
pp. 515,
doi:10.1088/0026-1394/31/6/011.
V Frederick Rickey (1992):
How Columbus encountered America.
Mathematics Magazine 65(4),
pp. 219–225,
doi:10.2307/2691445.
Brian J Sauser, Richard R Reilly & Aaron J Shenhar (2009):
Why projects fail? How contingency theory can provide new insights - A comparative analysis of NASA’s Mars Climate Orbiter loss.
International Journal of Project Management 27(7),
pp. 665–679,
doi:10.1016/j.ijproman.2009.01.004.
Wen Su, Jean-Raymond Abrial & Huibiao Zhu (2014):
Formalizing hybrid systems with Event-B and the Rodin platform.
Science of Computer Programming 94,
pp. 164–202,
doi:10.1016/j.scico.2014.04.015.
Ambler Thompson & Barry N Taylor (2008):
Guide for the Use of the International System of Units (SI).
Special Publication (NIST SP)-811,
doi:10.6028/NIST.SP.811e2008.
Hernán Wilkinson, Máximo Prieto & Luciano Romeo (2005):
Arithmetic with Measurements on Dynamically-typed Object-oriented Languages.
In: Companion to the 20th Annual ACM SIGPLAN Conference on Object-oriented Programming, Systems, Languages, and Applications,
OOPSLA '05.
ACM,
New York, NY, USA,
pp. 292–300,
doi:10.1145/1094855.1094964.