Wolfgang Runte, Marwane El Kharbili: Constraint Checking for Business Process Management. GI Jahrestagung 2009: 4093-4103