{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,12]],"date-time":"2025-09-12T18:37:30Z","timestamp":1757702250881,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":39,"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"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2015,9,30]]},"DOI":"10.1145\/2899361.2899375","type":"proceedings-article","created":{"date-parts":[[2016,4,18]],"date-time":"2016-04-18T12:23:32Z","timestamp":1460982212000},"page":"129-139","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":19,"title":["Transparent Automation for Assessing and Designing better Interactions between Operators and Partly-Autonomous Interactive Systems"],"prefix":"10.1145","author":[{"given":"R.","family":"Bernhaupt","sequence":"first","affiliation":[{"name":"IRIT, University of Toulouse, 118, route de Narbonne, 31042 Toulouse, France and ruwido austria gmbh, K\u00f6stendorfer Stra\u00dfe 8, 5202 Neumarkt a. W., Austria"}]},{"given":"M.","family":"Cronel","sequence":"additional","affiliation":[{"name":"IRIT, University of Toulouse, 118, route de Narbonne, 31042 Toulouse, France"}]},{"given":"F.","family":"Manciet","sequence":"additional","affiliation":[{"name":"IRIT, University of Toulouse, 118, route de Narbonne, 31042 Toulouse, France and ruwido austria gmbh, K\u00f6stendorfer Stra\u00dfe 8, 5202 Neumarkt a. W., Austria"}]},{"given":"C.","family":"Martinie","sequence":"additional","affiliation":[{"name":"IRIT, University of Toulouse, 118, route de Narbonne, 31042 Toulouse, France"}]},{"given":"P.","family":"Palanque","sequence":"additional","affiliation":[{"name":"IRIT, University of Toulouse, 118, route de Narbonne, 31042 Toulouse, France"}]}],"member":"320","published-online":{"date-parts":[[2015,9,30]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"crossref","unstructured":"Accot J. Chatty S. and Palanque P. 1996. In A formal description of low level interaction and its application to multimodal interactive systems (pp. 92--104). Springer Vienna.  Accot J. Chatty S. and Palanque P. 1996. In A formal description of low level interaction and its application to multimodal interactive systems (pp. 92--104). Springer Vienna.","DOI":"10.1007\/978-3-7091-7491-3_5"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"crossref","unstructured":"Accot J. Chatty S. Maury S. and Palanque P. 1997. In Formal transducers: models of devices and building bricks for the design of highly interactive systems (pp. 143--159). Springer Vienna.  Accot J. Chatty S. Maury S. and Palanque P. 1997. In Formal transducers: models of devices and building bricks for the design of highly interactive systems (pp. 143--159). Springer Vienna.","DOI":"10.1007\/978-3-7091-6878-3_10"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"crossref","unstructured":"Adams J. A. Humphrey C. M. Goodrich M. A. Cooper J. L. Morse B. S. Engh C. and Rasmussen N. 2009. Cognitive task analysis for developing unmanned aerial vehicle wilderness search support. J.l of cognitive engineering and decision making 3(1) 1--26.  Adams J. A. Humphrey C. M. Goodrich M. A. Cooper J. L. Morse B. S. Engh C. and Rasmussen N. 2009. Cognitive task analysis for developing unmanned aerial vehicle wilderness search support. J.l of cognitive engineering and decision making 3(1) 1--26.","DOI":"10.1518\/155534309X431926"},{"key":"e_1_3_2_1_4_1","volume-title":"Airlines Electronic Engineering Committee","author":"Cockpit Display System Interfaces","year":"2002","unstructured":"ARINC 661 Cockpit Display System Interfaces to User Systems. ARINC Specification 661 . Airlines Electronic Engineering Committee , 2002 . ARINC 661 Cockpit Display System Interfaces to User Systems. ARINC Specification 661. Airlines Electronic Engineering Committee, 2002."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"crossref","unstructured":"Bastide R. Palanque P. Le Duc-Hoa A. and Munoz J. Integrating Rendering Specifications into a Formalism for the Design of Interactive Systems. DSV-IS 1998: 171--190  Bastide R. Palanque P. Le Duc-Hoa A. and Munoz J. Integrating Rendering Specifications into a Formalism for the Design of Interactive Systems. DSV-IS 1998: 171--190","DOI":"10.1007\/978-3-7091-3693-5_12"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1449715.1449724"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/985692.985758"},{"issue":"3","key":"e_1_3_2_1_8_1","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":"Bolton M. L. , Bass E. J. and Siminiceanu R. I. 2013 . Using Formal Verification to Evaluate Human-Automation Interaction: A Review. Systems, Man, and Cybernetics: Systems , IEEE Transactions on , vol. 43 , no. 3 , pp.488, 503, (May 2013). Bolton M. L., Bass E. J. and Siminiceanu R. I. 2013. Using Formal Verification to Evaluate Human-Automation Interaction: A Review. Systems, Man, and Cybernetics: Systems, IEEE Transactions on, vol.43, no.3, pp.488, 503, (May 2013).","journal-title":"IEEE Transactions on"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/274644.274682"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2047196.2047276"},{"key":"e_1_3_2_1_11_1","first-page":"109","article-title":"Formally verifying interactive systems: A review","volume":"1997","author":"Creissac C. J.","year":"1997","unstructured":"Creissac C. J. , Harrison M. D. 1997 . Formally verifying interactive systems: A review . DSV-IS 1997 : 109 -- 124 Creissac C. J., Harrison M. D. 1997. Formally verifying interactive systems: A review. DSV-IS 1997: 109--124","journal-title":"DSV-IS"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"crossref","unstructured":"Cummings M. L. and Bruni S. 2009. Collaborative Human--Automation Decision Making. In Springer Handbook of Automation (pp. 437--447). Springer Berlin Heidelberg.  Cummings M. L. and Bruni S. 2009. Collaborative Human--Automation Decision Making. In Springer Handbook of Automation (pp. 437--447). Springer Berlin Heidelberg.","DOI":"10.1007\/978-3-540-78831-7_26"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1006\/ijhc.1999.0290"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1518\/0018720024494838"},{"volume-title":"Formal methods for interactive systems (p. 384)","author":"Dix A. J.","key":"e_1_3_2_1_15_1","unstructured":"Dix , A. J. 1991. Formal methods for interactive systems (p. 384) . London : Academic Press . Dix, A. J. 1991. Formal methods for interactive systems (p. 384). London: Academic Press."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1054972.1054994"},{"key":"e_1_3_2_1_17_1","unstructured":"Games. Airspace Store. Retrieved May 20 2015 from https:\/\/airspace.leapmotion.com\/categories\/games  Games. Airspace Store. Retrieved May 20 2015 from https:\/\/airspace.leapmotion.com\/categories\/games"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1054972.1055012"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/2494603.2480311"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-07626-3_53"},{"volume-title":"Winter Simulation Conference (pp. 2176--2184). Winter Simulation Conference.","author":"Johansson B.","key":"e_1_3_2_1_21_1","unstructured":"Johansson B. , Fasth \u00c5., Stahre J. , Heilala J. , Leong S. , Lee T. Y. and Riddick F . 2009. Enabling flexible manufacturing systems by using level of automation as design parameter . In Winter Simulation Conference (pp. 2176--2184). Winter Simulation Conference. Johansson B., Fasth \u00c5., Stahre J., Heilala J., Leong S., Lee T. Y. and Riddick F. 2009. Enabling flexible manufacturing systems by using level of automation as design parameter. In Winter Simulation Conference (pp. 2176--2184). Winter Simulation Conference."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10209-011-0256-6"},{"key":"e_1_3_2_1_23_1","volume-title":"Human-Computer Interaction--INTERACT","author":"Martinie C.","year":"2011","unstructured":"Martinie C. , Palanque P. , Winckler M. Structuring and composition mechanisms to address scalability issues in task models , Human-Computer Interaction--INTERACT 2011 , LNCS , 589--609. Martinie C., Palanque P., Winckler M. Structuring and composition mechanisms to address scalability issues in task models, Human-Computer Interaction--INTERACT 2011, LNCS, 589--609."},{"volume-title":"Conf. on App. and Theory of Automation in Command and Control Systems (ATACCS '11)","author":"Martinie C.","key":"e_1_3_2_1_24_1","unstructured":"Martinie C. , Palanque P. , Barboni E. , Winckler M. , Ragosta M. , Pasquini A. and Lanzi P . 2011. Formal tasks and systems models as a tool for specifying and assessing automation designs . In Conf. on App. and Theory of Automation in Command and Control Systems (ATACCS '11) , 50--59, ACM DL. Martinie C., Palanque P., Barboni E., Winckler M., Ragosta M., Pasquini A. and Lanzi P. 2011. Formal tasks and systems models as a tool for specifying and assessing automation designs. In Conf. on App. and Theory of Automation in Command and Control Systems (ATACCS '11), 50--59, ACM DL."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"crossref","unstructured":"Meyer R. B\u00fctzler J. Dzaack J. and Schlick C. M. 2014. Development of Interaction Concepts for Touchless Human-Computer Interaction with Geographic Information Systems. In Human-Computer Interaction. Advanced Interaction Modalities and Techniques (pp. 589--599). Springer International Publishing.  Meyer R. B\u00fctzler J. Dzaack J. and Schlick C. M. 2014. Development of Interaction Concepts for Touchless Human-Computer Interaction with Geographic Information Systems. In Human-Computer Interaction. Advanced Interaction Modalities and Techniques (pp. 589--599). Springer International Publishing.","DOI":"10.1007\/978-3-319-07230-2_56"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2305484.2305504"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1809777.1809806"},{"key":"e_1_3_2_1_28_1","unstructured":"Orange LivePlay gestural remote control (French site). Retrieved May 20 2015 from http:\/\/assistance.orange.fr\/la-telecommande-du-decodeur-livebox-play-5379.php  Orange LivePlay gestural remote control (French site). Retrieved May 20 2015 from http:\/\/assistance.orange.fr\/la-telecommande-du-decodeur-livebox-play-5379.php"},{"key":"e_1_3_2_1_29_1","first-page":"543","volume-title":"INTERACT 2003, Published by IOS press \u00a9, IFIP 2003","author":"Palanque P.","unstructured":"Palanque P. and Schyn A . 2003. A Model-Based Approach for Engineering Multimodal Interactive Systems . INTERACT 2003, Published by IOS press \u00a9, IFIP 2003 , p. 543 -- 550 . Palanque P. and Schyn A. 2003. A Model-Based Approach for Engineering Multimodal Interactive Systems. INTERACT 2003, Published by IOS press \u00a9, IFIP 2003, p. 543--550."},{"key":"e_1_3_2_1_30_1","volume-title":"International Symposium on Aviation Psychology, 8th","author":"Palmer E.","year":"1995","unstructured":"Palmer E. 1995 . Oops, it didn't arm'- A case study of two automation surprises . In International Symposium on Aviation Psychology, 8th , Columbus, OH (pp. 227--232). Palmer E. 1995. Oops, it didn't arm'- A case study of two automation surprises. In International Symposium on Aviation Psychology, 8th, Columbus, OH (pp. 227--232)."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1518\/001872008X312198"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1518\/001872097778543886"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/3468.844354"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/1809777.1809808"},{"key":"e_1_3_2_1_35_1","volume-title":"Performance Metrics for Intelligent Systems (PerMIS '03)","author":"Proud R.W.","year":"2003","unstructured":"Proud R.W. , Hart J. J. and Mrozinski R. B . 2003. Methods for determining the level of autonomy to design into a human spaceflight vehicle: a function specific approach . Performance Metrics for Intelligent Systems (PerMIS '03) , September 2003 . Proud R.W., Hart J. J. and Mrozinski R. B. 2003. Methods for determining the level of autonomy to design into a human spaceflight vehicle: a function specific approach. Performance Metrics for Intelligent Systems (PerMIS '03), September 2003."},{"key":"e_1_3_2_1_36_1","unstructured":"Sarter N. Woods D. and Billings C. E. 1997. Automation surprises. Handbook of human factors and ergonomics 2 1926--1943.  Sarter N. Woods D. and Billings C. E. 1997. Automation surprises. Handbook of human factors and ergonomics 2 1926--1943."},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"crossref","unstructured":"Sheridan T. B. and Parasuraman R. 2005. Human-automation interaction. Reviews of human factors and ergonomics 1(1) 89--129.  Sheridan T. B. and Parasuraman R. 2005. Human-automation interaction. Reviews of human factors and ergonomics 1(1) 89--129.","DOI":"10.1518\/155723405783703082"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/1753326.1753365"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/355598.362773"}],"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.2899375","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2899361.2899375","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.2899375"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,9,30]]},"references-count":39,"alternative-id":["10.1145\/2899361.2899375","10.1145\/2899361"],"URL":"https:\/\/doi.org\/10.1145\/2899361.2899375","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"}}]}}