@InProceedings{BHHK00a,
  author = 	 {Christel Baier and Boudewijn Haverkort and Holger Hermanns and
       Joost-Pieter Katoen},
  title = 	 {Model Cheching continuous-time Markov
       chains by transient analysis},
  booktitle = 	 {Proc. CAV 2000},
  pages =	 {358-372},
  year =	 2000,
  volume =	 1855,
  series =	 {LNCS}
}