Development and evaluation of a profile negotiation process for integrating aircraft and air traffic control automation | lit.salon