Traffic manager: a flexible desktop simulation tool enabling future ATM research | IEEE Conference Publication | IEEE Xplore