@InProceedings{ BaierHHK_ICALP00,
	title = { On the Logical Characterisation of Performability Properties },
	booktitle = {International Colloquium on Automata, Languages and Programming (ICALP)},
	author = {
		Christel Baier and
		Boudewijn R. Haverkort and
		Holger Hermanns and
		Joost-Pieter Katoen
	},
	year = {2000},
	pages = {780--792},
	_publisher = {Springer-Verlag},
	address = {London, UK}
}