Xiaopu Ma, Li Zhao, Wenpeng Zhang, “Specifying and Enforcing the Principle of Static Separation of Duty in Multi Domain”, DE, pp. 117 - 127, Oct. 2020.