J. Abrial, Modeling in Event-B -System and Software Engineering, p.9781139195881, 2010.

J. Abrial, M. Butler, S. Hallerstede, T. S. Hoang, F. Mehta et al., Rodin: an open toolset for modelling and reasoning in Event-B, International Journal on Software Tools for Technology Transfer, vol.15, issue.1, pp.447-466, 2010.
DOI : 10.1007/978-3-642-18216-7

URL : https://eprints.soton.ac.uk/271058/1/main.pdf

J. Abrial and &. Stefan-hallerstede, Refinement, Decomposition, and Instantiation of Discrete Models: Application to Event-B. Fundam, Inf, vol.77, issue.12, pp.1-28, 2007.

E. Allen, D. Chase, V. Luchangco, J. Maessen, &. Guy et al., Object-oriented units of measurement, ACM SIGPLAN Notices, vol.39, issue.10, pp.384-40310, 2004.
DOI : 10.1145/1035292.1029008

URL : http://pag.csail.mit.edu/reading-group/allen04measurement.pdf

F. Boniol and &. Wiels, The Landing Gear System Case Study, pp.1-18, 2014.
DOI : 10.1007/978-3-319-07512-9_1

J. Bowen and &. Stavridou, Safety-critical systems, formal methods and standards, Software Engineering Journal, vol.8, issue.4, pp.189-209, 1993.
DOI : 10.1049/sej.1993.0025

URL : http://www.museophile.sbu.ac.uk/pub/jpb/sfs-sej.pdf

H. Brönnimann, G. Melquiond, and &. Sylvain-pion, The Boost interval arithmetic library, Real Numbers and Computers, pp.65-80, 2003.

J. Cooper and &. Mckeever, A model-driven approach to automatic conversion of physical units, Software: Practice and Experience, vol.359, issue.4, pp.337-359, 2008.
DOI : 10.1093/comjnl/26.4.366

S. Drossopoulou, S. Eisenbach, and &. Khurshid, Is the Java type system sound?, Theory and Practice of Object Systems, vol.115, issue.1, pp.3-24, 1999.
DOI : 10.1006/inco.1994.1093

URL : http://www.cis.upenn.edu/~bcpierce/fool/drossopoulou.ps.gz

J. Euzenat and P. Shvaiko, Ontology matching, 2007.
DOI : 10.1007/978-3-642-38721-0

URL : https://hal.archives-ouvertes.fr/hal-00922291

J. , P. Gibson, E. Lallet, &. Jean-luc, and . Raffy, Formal Object Oriented Development of a Voting System Test Oracle, Innovations in Systems and Software Engineering (Special issue UML-FM11), pp.237-24510, 2011.
DOI : 10.1007/s11334-011-0167-y

URL : https://hal.archives-ouvertes.fr/hal-00670282

J. Gleick, Chaos: Making a new science Open Road Media, 2011.

D. Goldberg, What every computer scientist should know about floating-point arithmetic, ACM Computing Surveys, vol.23, issue.1, pp.5-48, 1991.
DOI : 10.1145/103162.103163

T. Hickey, Q. Ju, &. Maarten, and H. Van-emden, Interval arithmetic: From principles to implementation, Journal of the ACM, vol.48, issue.5, pp.1038-106810, 2001.
DOI : 10.1145/502102.502106

URL : http://webhome.cs.uvic.ca/~vanemden/Publications/hickeyJuvE.pdf

L. Thai-son-hoang, A. Voisin, M. J. Salehi, T. Butler, &. N. Wilkinson et al., Theory Plug-in for Rodin 3.x. CoRR abs/1701.08625, 2017.

L. Jiang and &. Su, Osprey, Proceeding of the 28th international conference on Software engineering , ICSE '06, pp.262-271, 2006.
DOI : 10.1145/1134285.1134323

R. Baker and K. , Interval computations: Introduction, uses, and resources, Euromath Bulletin, vol.2, issue.1, pp.95-112, 1996.

A. Kennedy, Programming languages and dimensions, 1996.

A. Mammar, &. Laleau, . Tla, Z. Vdm, and . Springer, Modeling a landing gear system in Event-B, International Conference on Abstract State Machines, pp.80-94, 2014.
DOI : 10.1007/s10009-015-0391-0

URL : https://hal.archives-ouvertes.fr/hal-01254980

D. Méry, R. Sawant-&-anton, and . Tarasyuk, Integrating Domain-Based Features into Event-B: A Nose Gear Velocity Case Study, Model and Data Engineering -5th International Conference Proceedings, Lecture Notes in Computer Science 9344, pp.89-10210, 1978.
DOI : 10.1007/978-3-319-23781-7_8

R. E. Moore, Interval Arithmetic and Automatic Error Analysis in Digital Computing, 1962.

T. Quinn, Base Units of the Syst??me International d'Unit??s, their Accuracy, Dissemination and International Traceability, Metrologia, vol.31, issue.6, p.515, 1995.
DOI : 10.1088/0026-1394/31/6/011

V. Frederick and R. , How Columbus encountered America, Mathematics Magazine, vol.65, issue.4, pp.219-22510, 1992.

J. Brian, . Sauser, R. Richard, &. Reilly, J. Aaron et al., Why projects fail? How contingency theory can provide new insights -A comparative analysis of NASAs Mars Climate Orbiter loss, International Journal of Project Management, vol.27, issue.7, pp.665-679, 2009.

W. Su, J. Abrial, and &. Zhu, Formalizing hybrid systems with Event-B and the Rodin Platform, Science of Computer Programming, vol.94, pp.164-202, 2014.
DOI : 10.1016/j.scico.2014.04.015

A. Thompson, &. Barry, and N. Taylor, Guide for the Use of the International System of Units (SI) Special Publication (NIST SP)-811, 2008.

H. Wilkinson, M. Prieto, and &. Romeo, Arithmetic with measurements on dynamically-typed object-oriented languages, Companion to the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications , OOPSLA '05, pp.292-300, 2005.
DOI : 10.1145/1094855.1094964