Revelation Time for Initial-State Opacity Measurement in Timed Discrete Event Systems | IEEE Conference Publication | IEEE Xplore