Mittal, Arpit. “AI-Driven Formal Methods For Engineering Prevention In Payment Systems: A Compliance-By-Design Architecture For Regulatory Resilience”. Journal of International Crisis and Risk Communication Research , Dec. 2025, pp. 539-52, doi:10.63278/jicrcr.vi.3612.