Modelling Workflow Executions under Role-Based Authorisation Control. - Ligang He; Kewei Duan; Xueguang Chen; Deqing Zou; Zongfen Han; Ali Fadavinia; Stephen A. Jarvis (IEEE SCC, 2011)