Najla Chamseddine Marie Duflot Laurent Fribourg Claudine Picaronny Jeremy Sproston Computing Expected Absorption Times for Parametric Determinate Probabilistic Timed Automata. 254-263 2008 QEST http://dx.doi.org/10.1109/QEST.2008.34 conf/qest/2008 db/conf/qest/qest2008.html#ChamseddineDFPS08