On Verification of Probabilistic Timed Automata against Probabilistic Duration Properties | IEEE Conference Publication | IEEE Xplore