@TechReport{KatoenKlinkNeuhaeusser09,
  author =	 "Joost-Pieter Katoen and Daniel Klink and Martin Neuh\"au{\ss}er",
  title =	 "Compositional Abstraction for Stochastic Systems",
  institution =	 "RWTH Aachen",
  year =	 "2009",
  number =	 "AIB-2009-15",
  month =	 jun,
  url =      "http://aib.informatik.rwth-aachen.de/2009/2009-15.pdf",
}