Dang Van Hung Miaomiao Zhang On Verification of Probabilistic Timed Automata against Probabilistic Duration Properties. 165-172 2007 conf/rtcsa/2007 RTCSA http://doi.ieeecomputersociety.org/10.1109/RTCSA.2007.53 db/conf/rtcsa/rtcsa2007.html#HungZ07