Towards Intelligent SAGIN: Leveraging Big AI Models and SDN for End-to-End Automation | IEEE Journals & Magazine | IEEE Xplore