Verifying Data Provenance During Workflow Execution for Scientific Reproducibility