Manfred Reichert Peter Dadam Thomas Bauer Dealing with Forward and Backward Jumps in Workflow Management Systems. 37-58 2003 2 Software and System Modeling 1 db/journals/sosym/sosym2.html#ReichertDB03