@conference {inp:AccorsiLehmann2012a, title = {Automatic Information Flow Analysis of Business Process Models}, booktitle = {10th International Conference on Business Process Management (BPM 2012)}, year = {2012}, author = {R. Accorsi and A. Lehmann} }