Formal Tasks and Systems Models as a Tool for Specifying and Assessing Automation Designs

Plans and Situated Actions: The Problem of Human-Machine Communication

Barry H. Kantowitz, Lucy Suchman · The American Journal of Psychology · 1990 · 5.3K citations

Engineering, Preface Acknowledgements 1, Manmachine Interaction +14

Basic concepts and taxonomy of dependable and secure computing

A. Avižienis, J.-C. Laprie, Brian Randell et al. · IEEE Transactions on Dependable and Secure Computing · 2004 · 5.1K citations

Software Maintenance, Fault Prevention, Engineering +22

A model for types and levels of human interaction with automation

Raja Parasuraman, T.B. Sheridan, Christopher D. Wickens · IEEE Transactions on Systems Man and Cybernetics - Part A Systems and Humans · 2000 · 3.6K citations

Engineering, Human-machine Interaction, Intelligent Systems +22

How in the World Did We Ever Get into That Mode? Mode Error and Awareness in Supervisory Control

Nadine Sarter, David D. Woods · Human Factors The Journal of the Human Factors and Ergonomics Society · 1995 · 815 citations

New Technology, Engineering, Task Analysis +22

Performance Evaluation of Asynchronous Concurrent Systems Using Petri Nets

C. V. Ramamoorthy, G.S. Ho · IEEE Transactions on Software Engineering · 1980 · 561 citations

Petri Net, Petri Net Model, Engineering +17