@inproceedings{IFM-2016-BendispostoKLMP,
	author        = "Jens Bendisposto and Philipp Körner and Michael Leuschel and Jeroen Meijer and Jaco van de Pol and Helen Treharne and Jorden Whitefield",
	booktitle     = "{Proceedings of the 12th International Conference on Integrated Formal Methods}",
	doi           = "10.1007/978-3-319-33693-0_18",
	isbn          = "978-3-319-33692-3",
	pages         = "275--291",
	publisher     = "{Springer}",
	title         = "{Symbolic Reachability Analysis of B Through ProB and LTSmin}",
	year          = 2016,
}