Shih, Chi-ShengChi-ShengShihCHI-SHENG SHIH2020-05-042020-05-042003https://scholars.lib.ntu.edu.tw/handle/123456789/487929Acquiring and Incorporating State-Dependent Timing Requirements.conference paper10.1109/ICRE.2003.1232740https://doi.org/10.1109/ICRE.2003.1232740