Formal Detection of Attentional Tunneling in Human Operator–Automation Interactions
Personal control and stress and coping processes: A theoretical analysis.