Flight deck automation support with dynamic 4D trajectory management for ACAS: AUTOFLY-Aid | IEEE Conference Publication | IEEE Xplore