New modelling and exact method for aircraft Arrival Sequencing and Scheduling | IEEE Conference Publication | IEEE Xplore