Workflow Soundness Revisited: Checking Correctness in the Presence of Data While Staying Conceptual · Study