Formal Detection of Attentional Tunneling in Human Operator–Automation Interactions | IEEE Journals & Magazine | IEEE Xplore