Acquiring and incorporating state-dependent timing requirements

Chi-Sheng Shih, Jane W.-S. Liu. Acquiring and incorporating state-dependent timing requirements. Requir. Eng., 9(2):121-131, 2004. [doi]

Abstract

Abstract is missing.