@TechReport{GHKN12,
  author =	 "Dennis Guck and
               Tingting Han and
               Joost-Pieter Katoen and
               Martin R.  Neuh{\"a}u{\ss}er",
  title =	 "Quantitative Timed Analysis of Interactive {M}arkov Chains",
  institution =	 "RWTH Aachen",
  keywords = "interactive markov chains, expected time, long-run average",
  year =	 "2012",
  number =	 "AIB-2012-09",
  month =	 may,
  url =      "http://aib.informatik.rwth-aachen.de/2012/2012-09.ps.gz"
}