Dr. A. Thorne & J. Merrick. Intelligent Orchestration for Cloud-Native Scalability: Integrating AI-Driven Deployment With Formal Microservice Verification. eijmr 2025, 12, 1-7.