The Opacity of Timed Automata.

Jie An, Qiang Gao, Lingtai Wang, Naijun Zhan, Ichiro Hasuo

Browse the full FM paper archive.