@InProceedings{HCHKB02,
  author = 	 {B. Haverkort and L. Cloth and H. Hermanns and J.-P. Katoen and C. Baier},
  title = 	 {Model Checking Performability Properties},
  booktitle = 	 {Proc. CONCUR 2002},
  year = 	 2002,
  number = 	 2421,
  series = 	 {LNCS},
  publisher =	 {Springer}
}