Advanced Aircraft Performance Modeling for ATM: BADA 4.0 Results | IEEE Conference Publication | IEEE Xplore