Afrizal Zein, “Formal Verification for WiMAX Networks Using Enhanced Security Protocols”, JoSTec, vol. 5, no. 1, pp. 54–62, Dec. 2023.