Air Traffic Management Automation: From Human Integration to Operational Deployment