Reliably Secure Software Systems (RS3) –
DFG Priority Programme 1496

R. Accorsi and Lehmann, A., “Automatic Information Flow Analysis of Business Process Models”, in 10th International Conference on Business Process Management (BPM 2012), 2012.