TECRA: C2 application of adaptive automation theory | IEEE Conference Publication | IEEE Xplore