Collision Avoidance in Air Traffic Management: A Mixed-Integer Linear Optimization Approach | IEEE Journals & Magazine | IEEE Xplore