Advanced aircraft performance modeling for ATM: Analysis of BADA model capabilities | IEEE Conference Publication | IEEE Xplore