Z. Zhioua, R. Ameur-Boulifa, and 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, doi: 10.25046/aj030106.