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.