Integrating human factors and systems engineering to reduce the risk of operator “error”

This publication has 9 references indexed in Scilit:

• Using a formal language to support natural language in accident reports
  Ergonomics, 1995
• Using Z to support the design of interactive safety-critical systems
  Software Engineering Journal, 1995
• A probabilistic logic for the development of safety-critical, interactive systems
  International Journal of Man-Machine Studies, 1993
• Using temporal logic to support the specification and prototyping of interactive control systems
  International Journal of Man-Machine Studies, 1992
• Moral judgements in designing better systems
  Interacting with Computers, 1989
• A conceptualization of driving behaviour as threat avoidance
  Ergonomics, 1984
• Analysis and classification of human error
  IEEE Transactions on Systems, Man, and Cybernetics, 1983
• Disc Database Efficiency: A Scheme for Detailed Assessment Based on Semi-Markov Models
  The Computer Journal, 1983
• The Theory of Risk Homeostasis: Implications for Safety and Health
  Risk Analysis, 1982