A Workflow Instance-based Model-checking Approach to Analysing Organisational Controls in a Loan Origination Process
Protection in operating systems