@book(Abrial:BBook,
 author       = "Jean-Raymond Abrial",
 year         = "1996",
 title        = "The {B}-Book",
 publisher    = "Cambridge University Press",
 doi          = "10.1017/CBO9780511624162",
)
@article(rodinplatform,
 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      = "STTT",
 volume       = "12",
 number       = "6",
 pages        = "447--466",
 doi          = "10.1007/s10009-010-0145-y",
)
@article(DBLP:journals/corr/abs-1210-7039,
 author       = "Frédéric Badeau and Marielle Doche-Petit",
 year         = "2012",
 title        = "Formal Data Validation with Event-B",
 journal      = "CoRR",
 volume       = "abs/1210.7039",
 url          = "http://dblp.uni-trier.de/db/journals/corr/corr1210.html#abs-1210-7039",
)
@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/}",
)
@mastersthesis(gagnon:sablecc,
 author       = "Etienne Gagnon",
 year         = "1998",
 title        = "{SableCC}, An Object-Oriented Compiler Framework",
 school       = "McGill University, Montreal, Canada",
 note         = "Available at {\tt http://www.sablecc.org}",
)
@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://dblp.uni-trier.de/db/journals/corr/corr1210.html#abs-1210-6815",
)
@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",
 doi          = "10.1007/s00165-010-0172-1",
)
@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",
 doi          = "10.1109/APSEC.2012.66",
)
@incollection(DBLP:conf/charme/YuML99,
 author       = "Yuan Yu and Panagiotis Manolios and Leslie Lamport",
 year         = "1999",
 title        = "Model Checking TLA+ Specifications",
 editor       = "Laurence Pierre and Thomas Kropf",
 booktitle    = "Correct Hardware Design and Verification Methods",
 series       = "Lecture Notes in Computer Science",
 volume       = "1703",
 publisher    = "Springer Berlin Heidelberg",
 pages        = "54--66",
 doi          = "10.1007/3-540-48153-2\_6",
)