Effective and Efficient Temporal Verification in Grid Workflow by Jinjun Chen