Z. Zhioua, R.A. Boulifa, Y. Roudier "Framework for the Formal Specification and Verification of Security Guidelines", Advances in Science, Technology and Engineering Systems Journal, vol. 3, no. 1, pp. 38-48 (2018).