{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,30]],"date-time":"2026-04-30T03:26:48Z","timestamp":1777519608924,"version":"3.51.4"},"publisher-location":"New York, NY, USA","reference-count":23,"publisher":"ACM","license":[{"start":{"date-parts":[[2013,5,28]],"date-time":"2013-05-28T00:00:00Z","timestamp":1369699200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2013,5,28]]},"DOI":"10.1145\/2494493.2494498","type":"proceedings-article","created":{"date-parts":[[2013,8,13]],"date-time":"2013-08-13T12:31:21Z","timestamp":1376397081000},"page":"27-37","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":12,"title":["Aviation safety"],"prefix":"10.1145","author":[{"given":"Neha","family":"Rungta","sequence":"first","affiliation":[{"name":"NASA Ames Research Center, Moffett Field, CA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Guillaume","family":"Brat","sequence":"additional","affiliation":[{"name":"NASA Ames Research Center, Moffett Field, CA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"William J.","family":"Clancey","sequence":"additional","affiliation":[{"name":"NASA Ames Research Center, Moffett Field, CA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Charlotte","family":"Linde","sequence":"additional","affiliation":[{"name":"NASA Ames Research Center, Moffett Field, CA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Franco","family":"Raimondi","sequence":"additional","affiliation":[{"name":"Middlesex University, London, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chin","family":"Seah","sequence":"additional","affiliation":[{"name":"NASA Ames Research Center, Moffett Field, CA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Shafto","sequence":"additional","affiliation":[{"name":"NASA Ames Research Center, Moffett Field, CA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2013,5,28]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Bundesstelle fur flugunfalluntersuchung investigation report german federal bureau of aircraft accidents investigation. ax001-1-2","author":"Report","year":"2002","unstructured":"Report . 2004. Bundesstelle fur flugunfalluntersuchung investigation report german federal bureau of aircraft accidents investigation. ax001-1-2 , 2002 . http:\/\/www.skybrary.aero\/index.php\/T154_\/_B752,_enroute,_Uberlingen_Germany, _2002_(LOS_HF). Report. 2004. Bundesstelle fur flugunfalluntersuchung investigation report german federal bureau of aircraft accidents investigation. ax001-1-2, 2002. http:\/\/www.skybrary.aero\/index.php\/T154_\/_B752,_enroute,_Uberlingen_Germany, _2002_(LOS_HF)."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-009-0131-4"},{"key":"e_1_3_2_1_3_1","volume-title":"SMC, IEEE","author":"Bass E. J.","year":"2011","unstructured":"Bass , E. J. , Bolton , M. L. , Feigh , K. M. , Griffith , D. , Gunter , E. L. , Mansky , W. , and Rushby , J. M . Toward a multi-method approach to formalizing humanautomation interaction and human-human communications . In SMC, IEEE ( 2011 ), 1817--1824. Bass, E. J., Bolton, M. L., Feigh, K. M., Griffith, D., Gunter, E. L., Mansky, W., and Rushby, J. M. Toward a multi-method approach to formalizing humanautomation interaction and human-human communications. In SMC, IEEE (2011), 1817--1824."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/765891.766024"},{"key":"e_1_3_2_1_5_1","volume-title":"Software Engineering Economics","author":"Boehm B.","year":"1981","unstructured":"Boehm , B. Software Engineering Economics . Prentice Hall , 1981 . Boehm, B. Software Engineering Economics. Prentice Hall, 1981."},{"key":"e_1_3_2_1_6_1","volume-title":"SMC, IEEE","author":"Bolton M. L.","year":"2009","unstructured":"Bolton , M. L. , and Bass , E. J . Enhanced operator function model: A generic human task behavior modeling language . In SMC, IEEE ( 2009 ), 2904--2911. Bolton, M. L., and Bass, E. J. Enhanced operator function model: A generic human task behavior modeling language. In SMC, IEEE (2009), 2904--2911."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2011.2109709"},{"key":"e_1_3_2_1_8_1","volume-title":"A formal framework for design and analysis of human-machine interaction","author":"Chakraborty S.","year":"2011","unstructured":"Chakraborty , S. , Jerraya , A. , Baruah , S. K. , Fischmeister , S. , Eds. A formal framework for design and analysis of human-machine interaction , IEEE ( 2011 ). Chakraborty, S., Jerraya, A., Baruah, S. K., Fischmeister, S., Eds. A formal framework for design and analysis of human-machine interaction, IEEE (2011)."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/S1389-0417(02)00053-0"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1006\/ijhc.1998.0229"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.2011.6083933"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1518\/0018720024494838"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/263699.263717"},{"key":"e_1_3_2_1_15_1","volume-title":"SMC (1)","author":"G\u00f6knur S.","year":"2004","unstructured":"G\u00f6knur , S. , Bolton , M. L. , Bass , E. J. Adding a motor control component to the operator function model expert system to investigate air traffic management concepts using simulation . In SMC (1) , IEEE ( 2004 ), 886--892. G\u00f6knur, S., Bolton, M. L., Bass, E. J. Adding a motor control component to the operator function model expert system to investigate air traffic management concepts using simulation. In SMC (1), IEEE (2004), 886--892."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.5555\/2484920.2485058"},{"key":"e_1_3_2_1_17_1","first-page":"204","article-title":"Prism: Probabilistic symbolic model checker","volume":"200","author":"Kwiatkowska M.","year":"2002","unstructured":"Kwiatkowska , M. , Norman , G. , and Parker , D . Prism: Probabilistic symbolic model checker . In Computer Performance Evaluation: Modelling Techniques and Tools. Springer , 2002 , 200 -- 204 . Kwiatkowska, M., Norman, G., and Parker, D. Prism: Probabilistic symbolic model checker. In Computer Performance Evaluation: Modelling Techniques and Tools. Springer, 2002, 200--204.","journal-title":"Computer Performance Evaluation: Modelling Techniques and Tools. Springer"},{"key":"e_1_3_2_1_18_1","volume-title":"Winter Simulation Conference","author":"Lee S.","year":"2001","unstructured":"Lee , S. , Pritchett , A. R. , and Goldsman , D . Hybrid agent-based simulation for analyzing the national airspace system . In Winter Simulation Conference ( 2001 ), 1029--1036. Lee, S., Pritchett, A. R., and Goldsman, D. Hybrid agent-based simulation for analyzing the national airspace system. In Winter Simulation Conference (2001), 1029--1036."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1646353.1646372"},{"key":"e_1_3_2_1_20_1","volume-title":"Pilot interaction with tcas and air traffic control","author":"Pritchett A. R.","year":"2012","unstructured":"Pritchett , A. R. , Fleming , E. S. , Cleveland , W. P. , Zoetrum , J. J. , Popescu , V. M. , and Thakkar , D. A . Pilot interaction with tcas and air traffic control . In ATACSS, W. Y. Ochieng and F. J. Saez, Eds., IRIT Press Toulouse , France\/ ACM DL ( 2012 ), 117--126. Pritchett, A. R., Fleming, E. S., Cleveland, W. P., Zoetrum, J. J., Popescu, V. M., and Thakkar, D. A. Pilot interaction with tcas and air traffic control. In ATACSS, W. Y. Ochieng and F. J. Saez, Eds., IRIT Press Toulouse, France\/ACM DL (2012), 117--126."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1177\/0037549707084182"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0951-8320(01)00092-8"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/2038642.2038675"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/2001420.2001430"}],"event":{"name":"ATACCS '13: International Conference on Application and Theory of Automation in Command and Control Systems","location":"Naples Italy","acronym":"ATACCS '13","sponsor":["HALA! Higher Automation Levels in ATM","SESAR Single European Sky ATM Research Joint Undertaking","Working Group 13.5: Human Error, Safety, and System Development Working Group 13.5: Human Error, Safety, and System Development","The Boeing Company The Boeing Company","Eurocontrol Eurocontrol","SIGCHI ACM Special Interest Group on Computer-Human Interaction"]},"container-title":["Proceedings of the 3rd International Conference on Application and Theory of Automation in Command and Control Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2494493.2494498","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2494493.2494498","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:39:22Z","timestamp":1750235962000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2494493.2494498"}},"subtitle":["modeling and analyzing complex interactions between humans and automated systems"],"short-title":[],"issued":{"date-parts":[[2013,5,28]]},"references-count":23,"alternative-id":["10.1145\/2494493.2494498","10.1145\/2494493"],"URL":"https:\/\/doi.org\/10.1145\/2494493.2494498","relation":{},"subject":[],"published":{"date-parts":[[2013,5,28]]},"assertion":[{"value":"2013-05-28","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}