A. Mittal, “AI-Driven Formal Methods For Engineering Prevention In Payment Systems: A Compliance-By-Design Architecture For Regulatory Resilience”, JICRCR, pp. 539–552, Dec. 2025.