InDico: Information Flow Analysis of Business Processes for Confidentiality Requirements. - Accorsi, Rafael; Wonnemann, Claus (2010)