Xiaopu Ma, Li Zhao, Wenpeng Zhang. (2020). Specifying and Enforcing the Principle of Static Separation of Duty in Multi Domain. Design Engineering, 117 - 127. https://doi.org/10.17762/de.vi.699