Kim, I., Kang, M., Choi, J., Zegzhda, P. D., Kalinin, M. O., Zegzhda, D. P., & Kang, I. (2006). Formal Verification of Security Model Using SPR Tool. Computing and Informatics, 25(5), 353–368. https://cai.type.sk/content/2006/5/formal-verification-of-security-model-using-spr-tool/