Weak bisimulation for probabilistic timed automata and applications to security, in (2003)

by R Lanotte, A Maggiolo-Schettini, A Troina
Venue:Proc. of SEFM’03, IEEE CS