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