@article {277,
	title = {Model checking for performability},
	journal = {Mathematical Structures in Computer Science},
	volume = {23},
	year = {2013},
	pages = {751{\textendash}795},
	doi = {10.1017/S0960129512000254},
	url = {http://dx.doi.org/10.1017/S0960129512000254},
	author = {Christel Baier and Ernst Moritz Hahn and Boudewijn R. Haverkort and Holger Hermanns and Joost-Pieter Katoen}
}