@TechReport{AIB-2010-06-CHKM10,
 author =       "Taolue Chen and Tingting Han and Joost-Pieter Katoen and Alexandru Mereacre",
 title =        "Computing maximum reachability probabilities in {M}arkovian timed automata",
 institution =  "RWTH Aachen",
 year =         "2010",
 number =       "AIB-2010-06",
 month =        jun,
 url =          "http://aib.informatik.rwth-aachen.de/2010/2010-06.ps.gz",
}