@inbook {199,
	title = {Probabilistic Model Checking for Energy-Utility Analysis},
	booktitle = {Horizons of the Mind. A Tribute to Prakash Panangaden},
	series = {Lecture Notes in Computer Science},
	volume = {8464},
	year = {2014},
	pages = {96{\textendash}123},
	publisher = {Springer},
	organization = {Springer},
	author = {Christel Baier and Clemens Dubslaff and Joachim Klein and Sascha Kl{\"u}ppelholz and Sascha Wunderlich}
}