@book(Abrial:BBook,
 author       = "Jean-Raymond Abrial",
 year         = "1996",
 title        = "The {B}-Book",
 publisher    = "Cambridge University Press",
 doi          = "10.1017/CBO9780511624162",
)
@inproceedings(rodinplatform,
 author       = "Jean-Raymond Abrial and Michael Butler and Stefan Hallerstede",
 year         = "2006",
 title        = "An open extensible tool environment for {Event-B}",
 editor       = "Zhiming Liu and Jifeng He",
 booktitle    = "Proceedings ICFEM'06",
 series       = "LNCS 4260",
 publisher    = "Springer-Verlag",
 pages        = "588--605",
 doi          = "10.1007/s10009-010-0145-y",
 url          = "http://eprints.ecs.soton.ac.uk/12711/",
)
@article(DBLP:journals/corr/abs-1210-7039,
 author       = "Fr\'ed\'eric Badeau and Marielle Doche-Petit",
 year         = "2012",
 title        = "Formal Data Validation with {E}vent-{B}",
 journal      = "CoRR",
 volume       = "abs/1210.7039",
 url          = "http://arxiv.org/abs/1210.7039",
 note         = "Proceedings of DS-Event-B 2012, Kyoto",
)
@techreport(EN50128,
 author       = "CENELEC",
 year         = "2011",
 title        = "Railway Applications -- Communication, signalling and processing systems -- Software for railway control and protection systems",
 type         = "Technical Report",
 number       = "EN50128",
 institution  = "European Standard",
)
@manual(atelierb40,
 author       = "ClearSy",
 year         = "2009",
 title        = "Atelier {B}, User and Reference Manuals",
 address      = "Aix-en-Provence, France",
 note         = "Available at {\tt http://www.atelierb.eu/}",
)
@article(hoare03,
 author       = "C. A. R. Hoare",
 year         = "2003",
 title        = "The Verifying Compiler: A Grand Challenge for Computing Research",
 journal      = "J.ACM",
 volume       = "50",
 number       = "1",
 pages        = "63--69",
 doi          = "10.1145/602382.602403",
)
@article(DBLP:journals/corr/abs-1210-6815,
 author       = "Thierry Lecomte and Lilian Burdy and Michael Leuschel",
 year         = "2012",
 title        = "Formally Checking Large Data Sets in the Railways",
 journal      = "CoRR",
 volume       = "abs/1210.6815",
 url          = "http://arxiv.org/abs/1210.6815",
 note         = "Proceedings of DS-Event-B 2012, Kyoto",
)
@inproceedings(LeuschelButler:FME03,
 author       = "Michael Leuschel and Michael Butler",
 year         = "2003",
 title        = "Pro{B}: A Model Checker for {B}",
 editor       = "Keijiro Araki and Stefania Gnesi and Dino Mandrioli",
 booktitle    = "FME 2003: Formal Methods",
 series       = "LNCS 2805",
 publisher    = "Springer-Verlag",
 pages        = "855--874",
 doi          = "10.1007/978-3-540-45236-2\_46",
)
@article(DBLP:journals/sttt/LeuschelB08,
 author       = "Michael Leuschel and Michael J. Butler",
 year         = "2008",
 title        = "{ProB}: an automated analysis toolset for the {B} method",
 journal      = "STTT",
 volume       = "10",
 number       = "2",
 pages        = "185--203",
 url          = "http://dx.doi.org/10.1007/s10009-007-0063-9",
)
@inproceedings(LeuschelEtAl:STS09,
 author       = "Michael Leuschel and J\'{e}r\^{o}me Falampin and Fabian Fritz and Daniel Plagge",
 year         = "2009",
 title        = "Automated Property Verification for Large Scale {B} Models",
 editor       = "A. Cavalcanti and D. Dams",
 booktitle    = "Proceedings FM 2009",
 series       = "LNCS 5850",
 publisher    = "Springer-Verlag",
 pages        = "708--723",
 doi          = "10.1007/978-3-642-05089-3\_45",
)
@article(DBLP:journals/fac/LeuschelFFP11,
 author       = "Michael Leuschel and J{\'e}r{\^o}me Falampin and Fabian Fritz and Daniel Plagge",
 year         = "2011",
 title        = "Automated property verification for large scale {B} models with {ProB}",
 journal      = "Formal Asp. Comput.",
 volume       = "23",
 number       = "6",
 pages        = "683--709",
 url          = "http://dx.doi.org/10.1007/s00165-010-0172-1",
)
@article(LeuschelPlagge:STTT10,
 author       = "Daniel Plagge and Michael Leuschel",
 year         = "2010",
 title        = "Seven at a stroke: {LTL} model checking for High-level Specifications in {B}, {Z}, {CSP}, and more",
 journal      = "STTT",
 volume       = "11",
 pages        = "9--21",
 doi          = "10.1007/s10009-009-0132-3",
)
@inproceedings(Brama:B2007,
 author       = "Thierry Servat",
 year         = "2007",
 title        = "BRAMA: A New Graphic Animation Tool for {B} models",
 editor       = "Jacques Julliand and Olga Kouchnarenko",
 booktitle    = "Proceedings B'2007",
 series       = "LNCS 4355",
 publisher    = "Springer-Verlag",
 pages        = "274--276",
 doi          = "10.1007/11955757\_28",
)
@inproceedings(Tristan-Leroy-scheduling,
 author       = "Jean-Baptiste Tristan and Xavier Leroy",
 year         = "2008",
 title        = "Formal verification of translation validators: A case study on instruction scheduling optimizations",
 booktitle    = "35th symposium Principles of Programming Languages",
 publisher    = "ACM Press",
 pages        = "17--27",
 doi          = "10.1007/s10817-008-9099-0",
 url          = "http://gallium.inria.fr/~xleroy/publi/validation-scheduling.pdf",
)
@inproceedings(DBLP:conf/apsec/YangJS12,
 author       = "Faqing Yang and Jean-Pierre Jacquot and Jeanine Souqui{\`e}res",
 year         = "2012",
 title        = "The Case for Using Simulation to Validate Event-B Specifications",
 editor       = "Karl R. P. H. Leung and Pornsiri Muenchaisri",
 booktitle    = "APSEC",
 publisher    = "IEEE",
 pages        = "85--90",
 url          = "http://dx.doi.org/10.1109/APSEC.2012.66",
)