@conference {250,
	title = {Parametric LTL on Markov Chains},
	booktitle = {IFIP Conference on Theoretical Computer Science (TCS)},
	year = {2014},
	publisher = {Springer},
	organization = {Springer},
	author = {Chakraborty, Souymodip and Joost-Pieter Katoen}
}