A global airspace model for 4D-trajectory-based operations | IEEE Conference Publication | IEEE Xplore