Collision Avoidance in Air Traffic Management: A Mixed-Integer Linear Optimization Approach | Publicación