An air traffic control simulator for test and development of airspace management schemes | IEEE Conference Publication | IEEE Xplore