Jinjun Chen, Yun Yang, Tsong Yueh Chen: Dynamic Verification of Temporal Constraints on-the-fly for Workflow Systems. APSEC 2004: 30-37