A specification with performance evaluation for probabilistic timed automata | IEEE Conference Publication | IEEE Xplore