Ang Li, Qinghua Li, Vincent C. Hu, Jia Di: Evaluating the capability and performance of access control policy verification tools. MILCOM 2015: 366-371