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