Rafael Accorsi Claus Wonnemann Detective Information Flow Analysis for Business Processes. 223-224 2009 BPSC conf/bpsc/2009 db/conf/bpsc/bpsc2009.html#AccorsiW09