1. Sherry, L., Feary, M., Polson, P., Mumaw, R., Palmer, E.: A cognitive engineering analysis of the vertical navigation function. Technical report, NASA Ames Research Center (2001)
2. Lyall, B., Wilson, J.: Flight deck automation issues. Technical report, Oregon State University and Research Integrations, Incorporated (1997)
3. Norman, D.A.: The psychology of everyday things. Basic Books, New York (1988)
4. Rushby, J., Crow, J., Palmer, E.: An automated method to detect potential mode confusions. In: 18th Digital Systems Avionics Conference (1999)
5. Degani, A., Heymann, M.: Formal verification of human-automation interaction. In: Human Factors, vol. 44(1) (2002)