Oliver Hofrichter, Martin Gogolla, Karsten Sohr: UML/OCL based Design and Analysis of Role-Based Access Control Policies. GEMOC+AMINO@MoDELS 2013: 33-42