SecureBPMN: modeling and enforcing access control requirements in business processes. - Achim D. Brucker; Isabelle Hang; Gero Lückemeyer; Raj Ruparel (SACMAT, 2012)