Modeling Cognitive Complexity in Air Traffic Control: Eurocontrol's Coca Approach | IEEE Conference Publication | IEEE Xplore