@TechReport{JAKWKB11,
  author =	 "Nils Jansen and Erika \'Abrah\'am and Jens Katelaan and Ralf Wimmer and Joost-Pieter Katoen and Bernd Becker",
  title =	 "Hierarchical Counterexamples for Discrete-Time Markov Chains",
  institution =	 "RWTH Aachen",
  year =	 "2011",
  number =	 "AIB-2011-11",
  month =	 may,
  url =          "http://aib.informatik.rwth-aachen.de/2011/2011-11.pdf",
  keywords = 	 "stochastic model checking, probabilistic systems, abstraction, counterexamples"
}