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