KyeongA Kang, Seungbin Lee, and Jiyoon Kim, “Security Analysis of Network Slicing-based Mission-Critical Services with Formal Verification Tool”, ReBICTE, vol. 10, pp. 134–143, Dec. 2024.