Distributed optimization and principled negotiation for advanced air traffic management | IEEE Conference Publication | IEEE Xplore