@conference {202,
	title = {Probabilistic Model Checking and Non-standard Multi-objective Reasoning},
	booktitle = {Proc. of the 17th International Conference on Fundamental Approaches to Software Engineering (FASE)},
	year = {2014},
	publisher = {Springer},
	organization = {Springer},
	author = {Christel Baier and Clemens Dubslaff and Sascha Kl{\"u}ppelholz and Marcus Daum and Joachim Klein and Steffen M{\"a}rcker and Sascha Wunderlich}
}