Keine Seite verlinkt auf Data-Flow Correctness and Compliance Verification for Data-Aware Workflows in Energy Markets.