XIAOPU MA, LI ZHAO, WENPENG ZHANG. Specifying and Enforcing the Principle of Static Separation of Duty in Multi Domain. Design Engineering, p. 117 - 127, 31 Oct. 2020.