@TechReport{AIB200902,
  author =	 "Taolue Chen, Tingting Han, Joost-Pieter Katoen, and Alexandru Mereacre",
  title =	 "{Q}uantitative {M}odel {C}hecking of {C}ontinuous-{T}ime {M}arkov {C}hains {A}gainst {T}imed {A}utomata {S}pecifications",
  institution =	 "RWTH Aachen",
  year =	 "2009",
  number =	 "AIB-2009-02",
  month =	 aug,
  url =          "http://aib.informatik.rwth-aachen.de/2009/2009-02.ps.gz"
}