@InProceedings{HaverkortCHKB_DSN02,
	title = { Model-checking performability properties },
	booktitle = { Dependable Systems and Networks (DSN) },
	author = {
		B. Haverkort and
		L. Cloth and
		H. Hermanns and
		J.-P. Katoen and
		C. Baier
	},
	pages = {103--112},
	_publisher = {IEEE CS Press},
	year = {2002},
	url = {http://computer.org/proceedings/dsn/1597/15970103abs.htm}
}