Using temporal logic to support the specification and prototyping of interactive control systems

This publication has 15 references indexed in Scilit:

• Fault management in process control: eye movements and action
  Ergonomics, 1989
• Energy, mass, model-based displays, and memory recall (PWR operation)
  IEEE Transactions on Nuclear Science, 1989
• Experimental investigation of stress-inducing properties of system response times
  Ergonomics, 1989
• A conceptual framework for person-computer interaction in complex systems
  IEEE Transactions on Systems, Man, and Cybernetics, 1988
• Interpreting Observations of Physical Systems
  IEEE Transactions on Systems, Man, and Cybernetics, 1987
• On Measuring the Complexity of Monitoring and Controlling Large-Scale Systems
  IEEE Transactions on Systems, Man, and Cybernetics, 1986
• FAILURE, UNCERTAINTY AND CONTROL: THE ROLE OF OPERATORS IN A COMPUTER INTEGRATED PRODUCTION SYSTEM
  Journal of Management Studies, 1985
• Human performance in monitoring and controlling hierarchical large-scale systems
  IEEE Transactions on Systems, Man, and Cybernetics, 1984
• Skills, rules, and knowledge; signals, signs, and symbols, and other distinctions in human performance models
  IEEE Transactions on Systems, Man, and Cybernetics, 1983
• The role of time in information processing
  ACM SIGMOD Record, 1982