@conference {82,
	title = {Prinsys - On a Quest for Probabilistic Loop Invariants},
	booktitle = {Quantitative Evaluation of Systems, QEST 2013},
	series = {Lecture Notes in Computer Science},
	volume = {8054},
	year = {2013},
	pages = {193-208},
	publisher = {Springer},
	organization = {Springer},
	author = {Friedrich Gretz and Joost-Pieter Katoen and Annabelle McIver}
}