@conference {197,
	title = {Trade-off Analysis Meets Probabilistic Model Checking},
	booktitle = {Proc. of the 23rd Conference on Computer Science Logic and the 29th Symposium on Logic In Computer Science (CSL-LICS)},
	year = {2014},
	publisher = {ACM},
	organization = {ACM},
	author = {Christel Baier and Clemens Dubslaff and Sascha Kl{\"u}ppelholz}
}