@InProceedings{BHHK02,
  author = 	 {C. Baier and B. Haverkort and H. Hermanns and J.-P. Katoen},
  title = 	 {Automated Performance and Dependability Evaluation using Model Checking},
  booktitle = 	 {Tutorial Proc. PERFORMANCE 2002},
  year =	 2002,
  series =	 {LNCS},
  publisher =	 {Springer}
}