{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:11:40Z","timestamp":1750306300254,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":36,"publisher":"ACM","license":[{"start":{"date-parts":[[2015,9,30]],"date-time":"2015-09-30T00:00:00Z","timestamp":1443571200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100001961","name":"AXA Research Fund","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100001961","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2015,9,30]]},"DOI":"10.1145\/2899361.2899364","type":"proceedings-article","created":{"date-parts":[[2016,4,18]],"date-time":"2016-04-18T12:23:32Z","timestamp":1460982212000},"page":"21-31","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Action reversibility in human-machine systems"],"prefix":"10.1145","author":[{"given":"Sergio","family":"Pizziol","sequence":"first","affiliation":[{"name":"ISAE"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Catherine","family":"Tessier","sequence":"additional","affiliation":[{"name":"ONERA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Feary","sequence":"additional","affiliation":[{"name":"NASA Ames"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"F\u00e9d\u00e9ric","family":"Dehais","sequence":"additional","affiliation":[{"name":"ISAE"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2015,9,30]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"1816","article-title":"Aircraft Accident Investigation Commission, Ministry of Transport, Aircraft accident investigation report. China airlines","volume":"4","year":"1994","unstructured":"{AAIC94} JAPAN . Aircraft Accident Investigation Commission, Ministry of Transport, Aircraft accident investigation report. China airlines , Airbus A300b 4-622 r, B- 1816 , april 26 1994 . {AAIC94} JAPAN. Aircraft Accident Investigation Commission, Ministry of Transport, Aircraft accident investigation report. China airlines, Airbus A300b4-622r, B-1816, april 26 1994.","journal-title":"Airbus A300b"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/0953-5438(92)90021-7"},{"key":"e_1_3_2_1_3_1","unstructured":"{AIR} AIRBUS Flight operations briefing notes. Landing techniques: Bounce recovery - rejected landing.  {AIR} AIRBUS Flight operations briefing notes. Landing techniques: Bounce recovery - rejected landing."},{"key":"e_1_3_2_1_4_1","volume-title":"15th performance and operations conference","author":"Parisis S, M.","year":"2007","unstructured":"{AIR07} AIRBU S, M. Parisis , Go-around (presentation) , 15th performance and operations conference , 2007 . {AIR07} AIRBUS, M. Parisis, Go-around (presentation), 15th performance and operations conference, 2007."},{"key":"e_1_3_2_1_5_1","volume-title":"Aviation safety.","author":"Amalberti R.","year":"1997","unstructured":"{AW97} R. Amalberti and L. Wioland , Human error in aviation ., Aviation safety. (H.M Soekkha, ed.), 1997 , p. 91. {AW97} R. Amalberti and L. Wioland, Human error in aviation., Aviation safety. (H.M Soekkha, ed.), 1997, p. 91."},{"key":"e_1_3_2_1_6_1","first-page":"3","article-title":"Using formal verification to evaluate human-automation interaction: A review, Systems, Man, and Cybernetics: Systems","volume":"43","author":"Bolton M. L.","year":"2013","unstructured":"{BBS13} M. L. Bolton , E. J. Bass , and R. I. Siminiceanu , Using formal verification to evaluate human-automation interaction: A review, Systems, Man, and Cybernetics: Systems , IEEE Transactions on 43 ( 2013 ), no. 3 , pp. 488--503. {BBS13} M. L. Bolton, E. J. Bass, and R. I. Siminiceanu, Using formal verification to evaluate human-automation interaction: A review, Systems, Man, and Cybernetics: Systems, IEEE Transactions on 43 (2013), no. 3, pp. 488--503.","journal-title":"IEEE Transactions on"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-70569-7_6"},{"key":"e_1_3_2_1_8_1","first-page":"1801","volume-title":"2011 IEEE International Conference on","author":"Comb\u00e9fis S.","year":"2011","unstructured":"{CGPF11} S. Comb\u00e9fis , D. Giannakopoulou , Ch. Pecheur , and M. Feary , A formal framework for design and analysis of human-machine interaction, Systems, Man, and Cybernetics (SMC) , 2011 IEEE International Conference on , 2011 , pp. 1801 -- 1808 . {CGPF11} S. Comb\u00e9fis, D. Giannakopoulou, Ch. Pecheur, and M. Feary, A formal framework for design and analysis of human-machine interaction, Systems, Man, and Cybernetics (SMC), 2011 IEEE International Conference on, 2011, pp. 1801--1808."},{"key":"e_1_3_2_1_9_1","first-page":"45","volume-title":"STAIRS 2002: Starting Artificial Intelligence Researchers Symposium","author":"F.","year":"2002","unstructured":"{Deh02} F. Dehais, Modelling cognitive conflict in pilot's activity ., STAIRS 2002: Starting Artificial Intelligence Researchers Symposium , 2002 , pp. 45 -- 54 . {Deh02} F. Dehais, Modelling cognitive conflict in pilot's activity., STAIRS 2002: Starting Artificial Intelligence Researchers Symposium, 2002, pp. 45--54."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1177\/0018720811418635"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1177\/0018720813510735"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2702123.2702521"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1518\/0018720024494838"},{"key":"e_1_3_2_1_15_1","first-page":"487","volume-title":"HCII 2007","author":"M.","year":"2007","unstructured":"{Fea07} M. Feary, Automatic detection of interaction vulnerabilities in an executable specification, D. Harris (Ed.): Engin. Psychol. and Cog. Ergonomics , HCII 2007 , LNAI 4562, 2007 , pp. 487 -- 496 . {Fea07} M. Feary, Automatic detection of interaction vulnerabilities in an executable specification, D. Harris (Ed.): Engin. Psychol. and Cog. Ergonomics, HCII 2007, LNAI 4562, 2007, pp. 487--496."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(94)00020-2"},{"key":"e_1_3_2_1_18_1","first-page":"375","volume-title":"Human Factors in Certification","author":"Javaux D.","year":"2000","unstructured":"{JMDK00} D. Javaux , M. Masson , and V. De Keyser , Beware of agents when flying aircraft: Basic principles behind a generic methodology for the evaluation and certification of advanced aviation systems , Human Factors in Certification . Lawrence Erlbaum Associates , 2000 , pp. 375 -- 405 . {JMDK00} D. Javaux, M. Masson, and V. De Keyser, Beware of agents when flying aircraft: Basic principles behind a generic methodology for the evaluation and certification of advanced aviation systems, Human Factors in Certification. Lawrence Erlbaum Associates, 2000, pp. 375--405."},{"key":"e_1_3_2_1_19_1","first-page":"49","article-title":"Kontogiannis, User strategies in recovering from errors in man--machine systems","year":"1999","unstructured":"{Kon99} T . Kontogiannis, User strategies in recovering from errors in man--machine systems ., Safety Science , 1999 , p. 49 . {Kon99} T. Kontogiannis, User strategies in recovering from errors in man--machine systems., Safety Science, 1999, p. 49.","journal-title":"Safety Science"},{"key":"e_1_3_2_1_20_1","first-page":"132","volume-title":"Workshop on Human Error and System Development","author":"Leveson N.G.","year":"1997","unstructured":"{LPS97} N.G. Leveson , L.D. Pinnel , S.D. Sandys , S. Koga , and J.D. Reese , Analyzing software specifications for mode confusion potential , Workshop on Human Error and System Development , 1997 , pp. 132 -- 146 . {LPS97} N.G. Leveson, L.D. Pinnel, S.D. Sandys, S. Koga, and J.D. Reese, Analyzing software specifications for mode confusion potential, Workshop on Human Error and System Development, 1997, pp. 132--146."},{"key":"e_1_3_2_1_21_1","first-page":"36","article-title":"Mc Coy, Design of a cooperative problem-solving system for en-route flight planning: An empirical evaluation, Human factors","volume":"1","author":"Layton C.","year":"2010","unstructured":"{LSMC10} C. Layton , P. Smith , and C . Mc Coy, Design of a cooperative problem-solving system for en-route flight planning: An empirical evaluation, Human factors : The Journal of the Human Factors and Ergonomics Society 1 , 2010 , no. 36 , pp. 94--119. {LSMC10} C. Layton, P. Smith, and C. Mc Coy, Design of a cooperative problem-solving system for en-route flight planning: An empirical evaluation, Human factors: The Journal of the Human Factors and Ergonomics Society 1, 2010, no. 36, pp. 94--119.","journal-title":"The Journal of the Human Factors and Ergonomics Society"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0951-8320(98)00062-3"},{"key":"e_1_3_2_1_23_1","first-page":"802","volume-title":"Advances in human factors ergonomics 19","author":"Masson M.","year":"1993","unstructured":"{MDK93} M. Masson and V. De Keyser , Preventing human errors in skilled activities through a computerized support system , Advances in human factors ergonomics 19 , 1993 , pp. 802 -- 802 . {MDK93} M. Masson and V. De Keyser, Preventing human errors in skilled activities through a computerized support system, Advances in human factors ergonomics 19, 1993, pp. 802--802."},{"key":"e_1_3_2_1_25_1","unstructured":"{NAS} NASA asrs.arc.nasa.gov\/search\/database.html.  {NAS} NASA asrs.arc.nasa.gov\/search\/database.html."},{"key":"e_1_3_2_1_26_1","volume-title":"Observability of discrete event dynamic systems","author":"Ozveren C. M.","year":"1990","unstructured":"{OW90} C. M. Ozveren and A. S. Willsky , Observability of discrete event dynamic systems , IEEE transactions on automatic control 34 ( 1990 ), no. 7, 797--806. {OW90} C. M. Ozveren and A. S. Willsky, Observability of discrete event dynamic systems, IEEE transactions on automatic control 34 (1990), no. 7, 797--806."},{"key":"e_1_3_2_1_27_1","volume-title":"Formal methods in human-computer interaction","author":"Palanque P.","year":"1997","unstructured":"{Pal97} P. Palanque , Formal methods in human-computer interaction , Springer-Verlag New York, Inc. , 1997 . {Pal97} P. Palanque, Formal methods in human-computer interaction, Springer-Verlag New York, Inc., 1997."},{"key":"e_1_3_2_1_28_1","first-page":"189","volume-title":"Situation awareness analysis and measurement","author":"Pritchett A. R.","year":"2000","unstructured":"{PH00} A. R. Pritchett and R. J. Hansman , Use of testable responses for performance-based measurement of situation awareness , Situation awareness analysis and measurement , 2000 , pp. 189 -- 209 . {PH00} A. R. Pritchett and R. J. Hansman, Use of testable responses for performance-based measurement of situation awareness, Situation awareness analysis and measurement, 2000, pp. 189--209."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/3468.844354"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.5555\/2248467.2248480"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1080\/00140139.2013.877597"},{"key":"e_1_3_2_1_33_1","first-page":"13","article-title":"and other distinctions in human performance models","volume":"3","author":"Rasmussen J.","year":"1983","unstructured":"{Ras83} J. Rasmussen , Skills, rules, and knowledge; signals, signs, and symbols , and other distinctions in human performance models , IEEE Transactions on Systems, Man and Cybernetics 3 , 1983 , no. 13 , pp. 257--266. {Ras83} J. Rasmussen, Skills, rules, and knowledge; signals, signs, and symbols, and other distinctions in human performance models, IEEE Transactions on Systems, Man and Cybernetics 3, 1983, no. 13, pp. 257--266.","journal-title":"IEEE Transactions on Systems, Man and Cybernetics"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781139062367","volume-title":"Human error","author":"Reason J.","year":"1990","unstructured":"{Rea90} J. Reason , Human error , Cambridge University Press (New York , NY ), 1990 . {Rea90} J. Reason, Human error, Cambridge University Press (New York, NY), 1990."},{"key":"e_1_3_2_1_35_1","volume-title":"The Algorithm Design Manual","author":"Skiena S.S.","year":"2009","unstructured":"{Ski09} S.S. Skiena , The Algorithm Design Manual , Cambridge Springer London , 2009 . {Ski09} S.S. Skiena, The Algorithm Design Manual, Cambridge Springer London, 2009."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1518\/001872007X196685"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1518\/001872095779049516"},{"key":"e_1_3_2_1_38_1","volume-title":"AerospaceLab-journal, no. 4","author":"Tessier C.","year":"2012","unstructured":"{TD12} C. Tessier and F. Dehais , Authority management and conflict solving in human-machine systems ., AerospaceLab-journal, no. 4 , 2012 . {TD12} C. Tessier and F. Dehais, Authority management and conflict solving in human-machine systems., AerospaceLab-journal, no. 4, 2012."},{"key":"e_1_3_2_1_39_1","volume-title":"13th International Symposium on Aviation Psychology","author":"D.","year":"2005","unstructured":"{Wic05} C. D. Wickens, Attentional tunneling and task management , 13th International Symposium on Aviation Psychology ( Dayton, OH) , 2005 . {Wic05} C.D. Wickens, Attentional tunneling and task management, 13th International Symposium on Aviation Psychology (Dayton, OH), 2005."},{"key":"e_1_3_2_1_40_1","volume-title":"Cognitive engineering in the aviation domain.","author":"Woods D.","year":"2000","unstructured":"{WS00} D. Woods and N. Sarter , Learning from automation surprises and going sour accidents ., Cognitive engineering in the aviation domain. (N. Sarter and R. Amalberti, eds.), 2000 , p. 347. {WS00} D. Woods and N. Sarter, Learning from automation surprises and going sour accidents., Cognitive engineering in the aviation domain. (N. Sarter and R. Amalberti, eds.), 2000, p. 347."}],"event":{"name":"ATACCS '15: International Conference on Application and Theory of Automation in Command and Control Systems","sponsor":["Eurocontrol Eurocontrol"],"location":"Toulouse France","acronym":"ATACCS '15"},"container-title":["Proceedings of the 5th International Conference on Application and Theory of Automation in Command and Control Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2899361.2899364","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2899361.2899364","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:39:16Z","timestamp":1750221556000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2899361.2899364"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,9,30]]},"references-count":36,"alternative-id":["10.1145\/2899361.2899364","10.1145\/2899361"],"URL":"https:\/\/doi.org\/10.1145\/2899361.2899364","relation":{},"subject":[],"published":{"date-parts":[[2015,9,30]]},"assertion":[{"value":"2015-09-30","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}