Human-in-the-loop AI: Requirements on future (unified) air traffic management systems | Synapse