Effects of scheduling and spacing tools on controllers' performance and perceptions of their workload | IEEE Conference Publication | IEEE Xplore