Dr. A. Thorne & J. Merrick, “Intelligent Orchestration for Cloud-Native Scalability: Integrating AI-Driven Deployment with Formal Microservice Verification”, eijmr, vol. 12, no. 12, pp. 1–7, Dec. 2025.