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