@conference {200,
	title = {Energy-Utility Quantiles},
	booktitle = {Proc. of the 6th NASA Formal Methods Symposium (NFM)},
	year = {2014},
	publisher = {Springer},
	organization = {Springer},
	author = {Christel Baier and Marcus Daum and Clemens Dubslaff and Joachim Klein and Sascha Kl{\"u}ppelholz}
}