Human-in-the-loop AI: Requirements on future (unified) air traffic management systems | IEEE Conference Publication | IEEE Xplore