Jinjun Chen Yun Yang T. Y. Chen Dynamic Verification of Temporal Constraints on-the-fly for Workflow Systems. 30-37 2004 conf/apsec/2004 APSEC http://doi.ieeecomputersociety.org/10.1109/APSEC.2004.47 db/conf/apsec/apsec2004.html#ChenYC04