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