Towards safer air traffic: Optimizing ATC controller workload by simulation with reduced set of parameters