Airspace sectorization optimization using fast-time simulation of air traffic controller's workload | IEEE Conference Publication | IEEE Xplore