Xiaopu Ma, Li Zhao, Wenpeng Zhang. Specifying and Enforcing the Principle of Static Separation of Duty in Multi Domain. DE 2020, 117 - 127.