Advanced Aircraft Performance Modeling for ATM: Enhancements to the Bada Model | IEEE Conference Publication | IEEE Xplore