Lost C2 Link Contingency Procedures for Seoul TMA and Assessment on Safety and Controller Workload | IEEE Conference Publication | IEEE Xplore