Trajectory computation Infrastructure based on BADA Aircraft Performance Model | IEEE Conference Publication | IEEE Xplore