P. Paidy, “A Formal Verification-Based Risk Scoring System for Code-Level Vulnerabilities in Critical Applications”, IJAMR, vol. 14, no. 2, pp. 21–35, Jul. 2025, doi: 10.14419/yxp00a41.