Dynamic Checking and Solution to Temporal Violations in Concurrent Workflow Processes | IEEE Journals & Magazine | IEEE Xplore