@TechReport{KKLW08,
  author =	 "Joost-Pieter Katoen and Daniel Klink and Martin Leucker and Verena Wolf",
  title =	 "Abstraction for stochastic systems by {E}rlang's method of stages",
  institution =	 "RWTH Aachen University",
  year =	 "2008",
  number =	 "AIB-2008-12",
  month =	 jun,
  url =          "http://aib.informatik.rwth-aachen.de/2008/2008-12.ps.gz",
}