@book(abrial,
 author       = {Jean-Raymond Abrial},
 year         = {2010},
 title        = {Modeling in {Event-B}: system and software engineering},
 publisher    = {Cambridge University Press},
 doi          = {10.1017/CBO9781139195881},
)
@book(abrialb,
 author       = {Jean-Raymond Abrial and Jean-Raymond Abrial},
 year         = {2005},
 title        = {The {B}-book: assigning programs to meanings},
 publisher    = {Cambridge University Press},
)
@article(rodin,
 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      = {International journal on software tools for technology transfer},
 volume       = {12},
 number       = {6},
 pages        = {447--466},
 doi          = {10.1007/s10009-010-0145-y},
)
@article(abrialrefinement,
 author       = {Jean-Raymond Abrial and Stefan Hallerstede},
 year         = {2007},
 title        = {Refinement, decomposition, and instantiation of discrete models: Application to {Event-B}},
 journal      = {Fundamenta Informaticae},
 volume       = {77},
 number       = {1-2},
 pages        = {1--28},
)
@mastersthesis(mymsc,
 author       = {Al-Brashdi, Ahmed},
 year         = {2015},
 title        = {Translating {Event-B} to Database Application},
 school       = {University of Southampton},
)
@misc(casestudies,
 author       = {Al-Brashdi, Ahmed},
 year         = {2017},
 title        = {Case studies},
 howpublished = {\url{http://users.ecs.soton.ac.uk/azab1g14/CaseStudies/}},
 note         = {[Online; accessed 24-August-2017]},
)
@inproceedings(UB2DB,
 author       = {Al-Brashdi, Ahmed and Michael Butler and Abdolbaghi Rezazadeh and Colin Snook},
 year         = {2016},
 title        = {Tool support for model-based database design with {Event-B}},
 booktitle    = {{FM\&MDD} Workshop at {ICFEM} 2016},
 pages        = {1--7},
)
@article(barros3,
 author       = {Roberto Souto Maior Barros},
 year         = {1998},
 title        = {On the formal specification and derivation of relational database applications},
 journal      = {Electronic Notes in Theoretical Computer Science},
 volume       = {14},
 pages        = {3--29},
 doi          = {10.1016/S1571-0661(05)80226-9},
)
@incollection(butler,
 author       = {Michael Butler},
 year         = {2013},
 title        = {Mastering System Analysis and Design through Abstraction and Refinement},
 booktitle    = {Engineering Dependable Software Systems},
 publisher    = {IOS Press},
 pages        = {49--78},
 doi          = {10.3233/978-1-61499-207-3-49},
)
@article(codd1970,
 author       = {Edgar F Codd},
 year         = {1970},
 title        = {A relational model of data for large shared data banks},
 journal      = {Communications of the ACM},
 volume       = {13},
 number       = {6},
 pages        = {377--387},
 doi          = {10.1145/362384.362685},
)
@book(connollydatabase,
 author       = {Thomas M Connolly and Carolyn E Begg},
 year         = {2005},
 title        = {Database systems: a practical approach to design, implementation, and management},
 publisher    = {Pearson Education},
)
@article(booster,
 author       = {Jim Davies and Charles Crichton and Edward Crichton and David Neilson and S{\o}rensen, Ib Holm},
 year         = {2005},
 title        = {Formality, evolution, and model-driven software engineering},
 journal      = {Electronic Notes in Theoretical Computer Science},
 volume       = {130},
 pages        = {39--55},
 doi          = {10.1016/j.entcs.2005.03.004},
)
@inproceedings(booster2odb,
 author       = {Jim Davies and James Welch and Alessandra Cavarra and Edward Crichton},
 year         = {2006},
 title        = {On the generation of object databases using {Booster}},
 booktitle    = {Engineering of Complex Computer Systems, 2006. ICECCS 2006. 11th IEEE International Conference on},
 organization = {IEEE},
 pages        = {10--pp},
 doi          = {10.1109/ICECCS.2006.65},
)
@book(vdm,
 author       = {Cliff B Jones},
 year         = {1990},
 title        = {Systematic software development using {VDM}},
 volume       = {2},
 publisher    = {Citeseer},
)
@article(khalafinejad,
 author       = {Saeed Khalafinejad and Mirian-Hosseinabadi, Seyed-Hassan},
 year         = {2013},
 title        = {Translation of {Z} specifications to executable code: Application to the database domain},
 journal      = {Information and Software Technology},
 volume       = {55},
 number       = {6},
 pages        = {1017--1044},
 doi          = {10.1016/j.infsof.2012.12.007},
)
@article(mammar1,
 author       = {Amel Mammar and R{\'e}gine Laleau},
 year         = {2006},
 title        = {From a {B} formal specification to an executable code: application to the relational database domain},
 journal      = {Information and Software Technology},
 volume       = {48},
 number       = {4},
 pages        = {253--279},
 doi          = {10.1016/j.infsof.2005.05.002},
)
@inproceedings(dbvdm,
 author       = {Rudi Schlatte and Bernhard K Aichernig},
 year         = {1999},
 title        = {Database development of a work-flow planning and tracking system using {VDM-SL}},
 booktitle    = {Workshop Materials: VDM in Practice},
 pages        = {109--125},
)
@inproceedings(umlb,
 author       = {Colin Snook and Michael Butler},
 year         = {2008},
 title        = {{UML-B} and {Event-B}: An Integration of Languages and Tools},
 booktitle    = {Proceedings of the {IASTED} International Conference on Software Engineering},
 series       = {SE '08},
 publisher    = {ACTA Press},
 address      = {Anaheim, CA, USA},
 pages        = {336--341},
)
@book(znotation,
 author       = {J Michael Spivey and JR Abrial},
 year         = {1992},
 title        = {The {Z} notation},
 publisher    = {Prentice Hall Hemel Hempstead},
)
@incollection(eventb2sql,
 author       = {Qi Wang and Tim Wahls},
 year         = {2014},
 title        = {Translating {Event-B} machines to database applications},
 booktitle    = {Software Engineering and Formal Methods},
 publisher    = {Springer},
 pages        = {265--270},
 doi          = {10.1007/978-3-319-10431-7_19},
)
@book(OCL,
 author       = {Jos Warmer and Anneke Kleppe},
 year         = {1999},
 title        = {The Object Constraint Language: Precise Modeling with UML},
 publisher    = {Addison-Wesley Longman Publishing Co., Inc.},
 address      = {Boston, MA, USA},
)