A 4D trajectory negotiation protocol for Arrival and Approach sequencing | IEEE Conference Publication | IEEE Xplore