Title: Detecting mode confusion through formal modeling and analysis
Subjects: Aircraft safety, Cockpits, Human factors engineering, Man machine systems