A passive brain-computer interface application for the mental workload assessment on professional air traffic controllers during realistic air traffic control tasks