@TechReport{NeuZhang09,
  author =	 "Martin Neuh{\"a}u{\ss}er and Lijun Zhang",
  title =	 "Time-bounded reachability in continuous-time {M}arkov decision processes",
  institution =	 "RWTH Aachen",
  year =	 "2009",
  number =	 "AIB-2009-12",
  month =	 may,
  url =          "http://aib.informatik.rwth-aachen.de/2009/2009-12.ps.gz",
}