Chi-Sheng Shih, Jane W.-S. Liu: Acquiring and Incorporating State-Dependent Timing Requirements. RE 2003: 87-94