@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      = {International Journal on Software Tools for Technology Transfer},
 volume       = {12},
 number       = {6},
 pages        = {447--466},
 doi          = {10.1007/s10009-010-0145-y},
)
@article(Apt2007,
 author       = {Krzysztof~R. Apt and Peter Zoeteweij},
 year         = {2007},
 title        = {An Analysis of Arithmetic Constraints on Integer Intervals},
 journal      = {Constraints},
 volume       = {12},
 number       = {4},
 pages        = {429--468},
 doi          = {10.1007/s10601-007-9017-9},
)
@incollection(BSST09,
 author       = {Clark Barrett and Roberto Sebastiani and Sanjit Seshia and Cesare Tinelli},
 year         = {2009},
 title        = {Satisfiability Modulo Theories},
 booktitle    = {Handbook of Satisfiability},
 chapter      = {26},
 publisher    = {IOS Press},
 pages        = {825--885},
 doi          = {10.3233/978-1-58603-929-5-825},
)
@incollection(cipherswithfinitedomains,
 author       = {John Black and Phillip Rogaway},
 year         = {2002},
 title        = {Ciphers with Arbitrary Finite Domains},
 booktitle    = {Topics in Cryptology --- CT-RSA 2002},
 series       = {LNCS},
 volume       = {2271},
 publisher    = {Springer},
 pages        = {114--130},
 doi          = {10.1007/3-540-45760-7\_9},
)
@book(sicstusmanual,
 author       = {Mats Carlsson and Thom Fruehwirth},
 year         = {2014},
 title        = {Sicstus PROLOG User's Manual 4.3},
 publisher    = {Books On Demand - Proquest},
)
@incollection(sicstusclpfd,
 author       = {Mats Carlsson and Greger Ottosson and Bj{\"o}rn Carlson},
 year         = {1997},
 title        = {An open-ended finite domain constraint solver},
 booktitle    = {Programming Languages: Implementations, Logics, and Programs},
 series       = {LNCS},
 volume       = {1292},
 publisher    = {Springer},
 pages        = {191--206},
 doi          = {10.1007/BFb0033845},
)
@inproceedings(Christiansen2008,
 author       = {Jan Christiansen and Sebastian Fischer},
 year         = {2008},
 title        = {EasyCheck --- Test Data for Free},
 editor       = {Jacques Garrigue and Manuel~V. Hermenegildo},
 booktitle    = {Functional and Logic Programming: 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings},
 publisher    = {Springer Berlin Heidelberg},
 address      = {Berlin, Heidelberg},
 pages        = {322--336},
 doi          = {10.1007/978-3-540-78969-7\_23},
)
@manual(atelierb42,
 author       = {ClearSy},
 year         = {2016},
 title        = {Atelier {B}, User and Reference Manuals},
 address      = {Aix-en-Provence, France},
 note         = {Available at {\tt http://www.atelierb.eu/}},
)
@inproceedings(z3,
 author       = {De~Moura, Leonardo and Bj{\o}rner, Nikolaj},
 year         = {2008},
 title        = {Z3: An Efficient SMT Solver},
 booktitle    = {Proceedings TACAS},
 series       = {LNCS},
 volume       = {4963},
 publisher    = {Springer},
 pages        = {337--340},
 doi          = {10.1007/978-3-540-78800-3\_24},
)
@incollection(FalampinLeuschelDeployBook,
 author       = {Jerome Falampin and Le-Dang, Hung and Michael Leuschel and Mikael Mokrani and Daniel Plagge},
 year         = {2013},
 title        = {Improving Railway Data Validation with {ProB}},
 booktitle    = {Industrial Deployment of System Engineering Methods},
 publisher    = {Springer},
 pages        = {27--44},
 doi          = {10.1007/978-3-642-33170-1\_4},
)
@book(fisheryates,
 author       = {Ronald~Aylmer Fisher and Frank Yates},
 year         = {1953},
 title        = {Statistical tables for biological, agricultural and medical research},
 edition      = {3},
 publisher    = {Oliver and Boyd},
)
@article(Fruehwirth199895,
 author       = {Thom Fr{\"u}hwirth},
 year         = {1998},
 title        = {Theory and practice of {Constraint Handling Rules}},
 journal      = {The Journal of Logic Programming},
 volume       = {37},
 number       = {1--3},
 pages        = {95 -- 138},
 doi          = {10.1016/S0743-1066(98)10005-5},
)
@book(frühwirth2009constraint,
 author       = {Thom Fr{\"u}hwirth},
 year         = {2009},
 title        = {{Constraint Handling Rules}},
 publisher    = {Cambridge University Press},
 doi          = {10.1017/CBO9780511609886},
)
@inproceedings(randomrestarts,
 author       = {Carla~P. Gomes and Bart Selman and Henry Kautz},
 year         = {1998},
 title        = {Boosting Combinatorial Search Through Randomization},
 booktitle    = {Proceedings AAAI},
 series       = {AAAI/IAAI},
 publisher    = {American Association for Artificial Intelligence},
 pages        = {431--437},
)
@inproceedings(HansenSchneiderLeuschel:ABZ2016,
 author       = {Dominik Hansen and David Schneider and Michael Leuschel},
 year         = {2016},
 title        = {{Using B and ProB for Data Validation Projects}},
 booktitle    = {Proceedings ABZ},
 series       = {LNCS},
 volume       = {9675},
 publisher    = {Springer},
 doi          = {10.1007/978-3-319-33600-8\_10},
)
@book(Jackson:AlloyBook,
 author       = {Daniel Jackson},
 year         = {2006},
 title        = {Software Abstractions: Logic, Language and Analysis},
 publisher    = {MIT Press},
)
@inproceedings(DBLP:conf/iclp/JaffarM87,
 author       = {Joxan Jaffar and Spiro Michaylov},
 year         = {1987},
 title        = {Methodology and Implementation of a {CLP} System},
 booktitle    = {Proceedings ICLP},
 pages        = {196--218},
)
@book(Knuth:art2,
 author       = {Donald~E. Knuth},
 year         = {1997},
 title        = {The Art of Computer Programming, Volume 2: Seminumerical Algorithms},
 edition      = {3},
 publisher    = {Addison-Wesley Longman Publishing Co., Inc.},
 address      = {Boston, MA, USA},
 doi          = {10.1137/1012065},
)
@inproceedings(disprover_eval,
 author       = {Sebastian Krings and Jens Bendisposto and Michael Leuschel},
 year         = {2015},
 title        = {{From Failure to Proof: The ProB Disprover for B and Event-B}},
 booktitle    = {Proceedings SEFM},
 series       = {LNCS 9276},
 publisher    = {Springer},
 doi          = {10.1007/978-3-319-22969-0\_15},
)
@inproceedings(probz3integration,
 author       = {Sebastian Krings and Michael Leuschel},
 year         = {2016},
 title        = {SMT Solvers for Validation of B and Event-B models},
 booktitle    = {Proceedings iFM},
 series       = {LNCS},
 volume       = {9681},
 publisher    = {Springer},
 doi          = {10.1007/978-3-319-33693-0\_23},
)
@incollection(2014formal,
 author       = {Michael Leuschel and Jens Bendisposto and Ivaylo Dobrikov and Sebastian Krings and Daniel Plagge},
 year         = {2014},
 title        = {{From Animation to Data Validation: The ProB Constraint Solver 10 Years On}},
 editor       = {Jean-Louis Boulanger},
 booktitle    = {Formal Methods Applied to Complex Systems: Implementation of the B Method},
 chapter      = {14},
 publisher    = {Wiley ISTE},
 address      = {Hoboken, NJ},
 pages        = {427--446},
 doi          = {10.1002/9781119002727.ch14},
)
@inproceedings(prob2003,
 author       = {Michael Leuschel and Michael Butler},
 year         = {2003},
 title        = {{ProB}: A Model Checker for {B}},
 booktitle    = {Proceedings FME},
 series       = {LNCS},
 volume       = {2805},
 publisher    = {Springer},
 pages        = {855--874},
 doi          = {10.1007/978-3-540-45236-2\_46},
)
@article(prob2008,
 author       = {Michael Leuschel and Michael Butler},
 year         = {2008},
 title        = {{ProB}: An Automated Analysis Toolset for the {B} Method},
 journal      = {Software Tools for Technology Transfer (STTT)},
 volume       = {10},
 number       = {2},
 pages        = {185--203},
 doi          = {10.1007/s10009-007-0063-9},
)
@article(disprover,
 author       = {Olivier Ligot and Jens Bendisposto and Michael Leuschel},
 year         = {2007},
 title        = {Debugging Event-B Models using the ProB Disprover Plug-in},
 journal      = {Proceedings AFADL},
)
@article(randomperms,
 author       = {M.~Luby and C.~Rackoff},
 year         = {1988},
 title        = {How to Construct Pseudorandom Permutations from Pseudorandom Functions},
 journal      = {SIAM Journal on Computing},
 volume       = {17},
 number       = {2},
 pages        = {373--386},
 doi          = {10.1137/0217022},
)
@book(Menezes:1996:HAC:548089,
 author       = {Alfred~J. Menezes and Scott~A. Vanstone and Paul C.~Van Oorschot},
 year         = {1996},
 title        = {Handbook of Applied Cryptography},
 edition      = {1st},
 publisher    = {CRC Press, Inc.},
 address      = {Boca Raton, FL, USA},
 doi          = {10.1201/9781439821916},
)
@inproceedings(PlaggeLeuschel_Kodkod2012,
 author       = {Daniel Plagge and Michael Leuschel},
 year         = {2012},
 title        = {Validating {B}, {Z} and {TLA+} using {ProB} and {Kodkod}},
 booktitle    = {Proceedings FM},
 series       = {LNCS},
 volume       = {7436},
 publisher    = {Springer},
 pages        = {372--386},
 doi          = {10.1007/978-3-642-32759-9\_31},
)
@inproceedings(timetable_validation,
 author       = {David Schneider and Michael Leuschel and Tobias Witt},
 year         = {2015},
 title        = {{Model-Based Problem Solving for University Timetable Validation and Improvement}},
 booktitle    = {Proceedings FM},
 series       = {LNCS},
 volume       = {9109},
 publisher    = {Springer},
 pages        = {487--495},
 doi          = {10.1007/978-3-319-19249-9\_30},
)
@phdthesis(Triska2014,
 author       = {Markus Triska},
 year         = {2014},
 title        = {Correctness Considerations in {CLP(FD)} Systems},
 school       = {Vienna University of Technology},
)