I. Introduction
The air traffic management (ATM) community is increasingly advocating higher levels of automation (LOA) to improve efficiency and capacity, with a more strategic supervisory role for humans [1]. The Single European Sky ATM Research (SESAR) program envisions a future in which air traffic control (ATC) tasks are increasingly automated, starting with information analysis, followed by decision and action selection, and finally action implementation [2]. At the same time, the system's autonomy should increase with more actions being initiated without human intervention. Nevertheless, air traffic control officers (ATCOs) are expected to play an important role in supervising these systems and to intervene when automation falls short [3].