Weak bisimulation for probabilistic timed automata and applications to security | IEEE Conference Publication | IEEE Xplore