@conference {252,
	title = {Fast Debugging of PRISM Models},
	booktitle = {Int. Symp. on Automated Technology for Verification and Analysis (ATVA{\textquoteright}14)},
	year = {2014},
	publisher = {Springer},
	organization = {Springer},
	author = {Christian Dehnert and Nils Jansen and Ralf Wimmer and Erika {\'A}brah{\'a}m and Joost-Pieter Katoen}
}