Formal Detection of Attentional Tunneling in Human Operator-Automation Interactions. - Nicolas Regis; Frédéric Dehais; Emmanuel Rachelson; Charles Thooris; Sergio Pizziol; Mickaël Causse; Catherine Tessier (IEEE Trans. Hum. Mach. Syst., 2014)