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