@techreport{NeuhaeusserKatoen07,
 author = {Martin R. Neuh{\"a}u{\ss}er and Joost--Pieter Katoen},
 title = {Bisimulation and Logical Preservation for Continuous-Time Markov Decision Processes},
 institution = {RWTH Aachen University, Dept.\ of Computer Science},
 address = {Germany},
 series = {Aachener Informatik Berichte},
 number = {2007--10},
 month = {August},
 year = {2007},
 url = "http://aib.informatik.rwth-aachen.de/2007/2007-10.ps.gz", 
}