@TechReport{BKHH02,
  author = 	 {Christel Baier and Joost-Pieter Katoen and Holger Hermanns and Boudewijn
Haverkort},
  title = 	 {Simulation for Continuous-Time Markov Chains},
  institution =  {Universit{\"a}t Bonn},
  year = 	 2002
}