Change-Driven Analysis of Timed Security Requirements for Data-Aware Workflow Processes. - Yanhua Du; Gege Mu; Junfen Li; Hesuan Hu (IEEE Trans Autom. Sci. Eng., 2025)