{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:16:01Z","timestamp":1725488161595},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540426073"},{"type":"electronic","value":"9783540454168"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45416-0_9","type":"book-chapter","created":{"date-parts":[[2007,7,20]],"date-time":"2007-07-20T15:29:50Z","timestamp":1184945390000},"page":"86-91","source":"Crossref","is-referenced-by-count":9,"title":["Modeling the Human in Human Factors"],"prefix":"10.1007","author":[{"given":"John","family":"Rushby","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,9,26]]},"reference":[{"key":"9_CR1","volume-title":"Human Factors in Transportation","author":"C. E. Billings","year":"1997","unstructured":"Charles E. Billings. Aviation Automation:The Search for a Human-Centered Approach. Human Factors in Transportation. Lawrence Erlbaum Associates, Mahwah, NJ, 1997."},{"issue":"2","key":"9_CR2","doi-asserted-by":"publisher","first-page":"132","DOI":"10.1007\/s001650050045","volume":"11","author":"H. Bowman","year":"1999","unstructured":"Howard Bowman and Giorgio Faconti. Analysing cognitive behaviour using LOTOS and Mexitl. Formal Aspects of Computing, 11(2):132\u2013159, 1999.","journal-title":"Formal Aspects of Computing"},{"key":"9_CR3","volume-title":"The psychology of human-computer interaction","author":"S. K. Card","year":"1983","unstructured":"S. K. Card, T. P. Moran, and A. Newell. The psychology of human-computer interaction. Lawrence Erlbaum Associates, Hillsdale, NJ, 1983."},{"key":"9_CR4","volume-title":"The Nature of Explanation","author":"K. Craik","year":"1943","unstructured":"K. Craik. The Nature of Explanation. Cambridge University Press, Cambridge, UK, 1943."},{"key":"9_CR5","first-page":"163","volume-title":"International Conference on Human-Computer Interaction in Aeronautics:HCI-Aero 2000","author":"J. Crow","year":"2000","unstructured":"Judith Crow, Denis Javaux, and John Rushby. Models and mechanized methods that integrate human factors into automation design. In Kathy Abbott, Jean-Jacques Speyer, and Guy Boy, editors, International Conference on Human-Computer Interaction in Aeronautics:HCI-Aero 2000, pages 163\u2013168, C\u00e9padu\u00e8s-\u00c9ditions, Toulouse, France, September 2000."},{"issue":"6","key":"9_CR6","doi-asserted-by":"publisher","first-page":"665","DOI":"10.1007\/s001659970004","volume":"11","author":"D. Duke","year":"1999","unstructured":"David Duke and David Duce. The formalization of a cognitive architecture and its application to reasoning about human computer interaction. Formal Aspects of Computing, 11(6):665\u2013689, 1999.","journal-title":"Formal Aspects of Computing"},{"key":"9_CR7","unstructured":"Edmund Eberleh. The structure of mental models: Goal directed or state centered? In F. Klix, N. A. Streitz, Y. Waern, and H. Wandke, editors, MACINTER II:Man-Computer Interaction Research. pages 89\u2013103, Elsevier, 1989."},{"key":"9_CR8","unstructured":"The interfaces between flightcrews and modern flight deck systems. Report of the FAA human factors team, Federal Aviation Administration, 1995. Available at \n                    http:\/\/www.faa.gov\/avr\/afs\/interfac.pdf\n                    \n                  ."},{"key":"9_CR9","unstructured":"Denis Javaux. Explaining Sarter and Woods\u2019 classical results. In Nancy Leveson and Chris Johnson, editors, SecondWorkshop on Human Error, Safety, and Software Design, University of Washington, Seatle, WA, April 1998."},{"key":"9_CR10","unstructured":"Denis Javaux and V\u00e9ronique De Keyser, editors. Proceedings of the 3rdWorkshop on Human Error, Safety, and System Development (HESSD\u201999), University of Liege, Belgium, June 1999."},{"issue":"4","key":"9_CR11","doi-asserted-by":"publisher","first-page":"320","DOI":"10.1145\/235833.236054","volume":"3","author":"B. E. John","year":"1996","unstructured":"Bonnie E. John and David E. Kieras. The GOMS family of user interface analysis techniques: Comparison and contrast. ACM Transactions on Computer-Human Interaction, 3(4):320\u2013351, December 1996.","journal-title":"ACM Transactions on Computer-Human Interaction"},{"key":"9_CR12","unstructured":"Philip N. Johnson-Laird. The Computer and the Mind: An Introduction to Cognitive Science. Harvard University Press, 1989."},{"issue":"4","key":"9_CR13","doi-asserted-by":"publisher","first-page":"596","DOI":"10.1145\/69575.69577","volume":"5","author":"C. B. Jones","year":"1983","unstructured":"C. B. Jones. Tentative steps toward a development method for interfering programs. ACM TOPLAS, 5(4):596\u2013619, 1983.","journal-title":"ACM TOPLAS"},{"key":"9_CR14","volume-title":"The Psychology of Everyday Things","author":"D. A. Norman","year":"1988","unstructured":"Donald A. Norman. The Psychology of Everyday Things. Basic Books, New York, NY, 1988. Also available in paperback under the title \u201cThe Design of Everyday Things\u201d."},{"key":"9_CR15","volume-title":"How the Mind Works","author":"S. Pinker","year":"1997","unstructured":"Steven Pinker. How the Mind Works. W. W. Norton, New York, NY, 1997."},{"key":"9_CR16","volume-title":"Information Processing and Human-Machine Interaction:An Approach to Cognitive Engineering","author":"J. Rasmussen","year":"1986","unstructured":"Jens Rasmussen. Information Processing and Human-Machine Interaction:An Approach to Cognitive Engineering. Elsevier, New York, NY, 1986."},{"key":"9_CR17","first-page":"41","volume-title":"Mental Models and Human-Computer Interaction","author":"J. Rasmussen","year":"1990","unstructured":"Jens Rasmussen. Mental models and the control of action in complex environments. In D. Ackermann and M. J. Tauber, editors, Mental Models and Human-Computer Interaction: 1, pages 41\u201369. Elsevier, New York, NY, 1990."},{"key":"9_CR18","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781139062367","volume-title":"Human Error","author":"J. Reason","year":"1990","unstructured":"James Reason. Human Error. Cambridge University Press, Cambridge, UK, 1990."},{"issue":"2","key":"9_CR19","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1145\/353485.353486","volume":"7","author":"F. E. Ritter","year":"2000","unstructured":"Frank E. Ritter, Gordon D. Baxter, Gary Jones, and Richard M. Young. Supporting cognitive models as users. ACM Transactions on Computer-Human Interaction, 7(2):141\u2013173, June 2000.","journal-title":"ACM Transactions on Computer-Human Interaction"},{"key":"9_CR20","doi-asserted-by":"crossref","unstructured":"John Rushby. Using model checking to help discover mode confusions and other automation surprises. In Javaux and Keyser [10].","DOI":"10.1016\/S0951-8320(01)00092-8"},{"key":"9_CR21","series-title":"Electronic Notes in Theoretical Computer Science","volume-title":"Proceedings of FM-Elsewhere","author":"J. Rushby","year":"2000","unstructured":"John Rushby. Analyzing cockpit interfaces using formal methods. In H. Bowman, editor, Proceedings of FM-Elsewhere, Electronic Notes in Theoretical Computer Science, Elsevier, Pisa, Italy, October 2000. Available at \n                    http:\/\/www.elsevier.nl\/locate\/entcs\/volume43.html\n                    \n                  ."},{"issue":"1","key":"9_CR22","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1518\/001872095779049516","volume":"37","author":"N. B. Sarter","year":"1995","unstructured":"N. B. Sarter and D. D. Woods. How in the world did we ever get into that mode? Mode error and awareness in supervisory control. Human Factors, 37(1):5\u201319, 1995.","journal-title":"Human Factors"},{"key":"9_CR23","unstructured":"N. B. Sarter, D. D. Woods, and C. E. Billings. Automation surprises. In Gavriel Salvendy, editor, Handbook of Human Factors and Ergonomics. John Wiley and Sons, second edition, 1997."},{"key":"9_CR24","doi-asserted-by":"crossref","unstructured":"Sanjay S. Vakil and R. John Hansman. Approaches to mitigating complexity-driven issues in commercial autoflight systems. In Javaux and Keyser [10].","DOI":"10.1016\/S0951-8320(01)00090-4"}],"container-title":["Lecture Notes in Computer Science","Computer Safety, Reliability and Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45416-0_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,18]],"date-time":"2019-02-18T00:38:42Z","timestamp":1550450322000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45416-0_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540426073","9783540454168"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/3-540-45416-0_9","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}