{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,21]],"date-time":"2026-01-21T15:59:51Z","timestamp":1769011191475,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":58,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,9,28]],"date-time":"2020-09-28T00:00:00Z","timestamp":1601251200000},"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":[[2020,9,28]]},"DOI":"10.1145\/3399715.3400872","type":"proceedings-article","created":{"date-parts":[[2020,10,2]],"date-time":"2020-10-02T23:52:27Z","timestamp":1601682747000},"page":"1-10","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":13,"title":["Ten Objectives and Ten Rules for Designing Automations in Interaction Techniques, User Interfaces and Interactive Systems"],"prefix":"10.1145","author":[{"given":"Philippe","family":"Palanque","sequence":"first","affiliation":[{"name":"ICS-IRIT, Universit\u00e9 Toulouse 3 - Paul Sabatier, Toulouse, France"}]}],"member":"320","published-online":{"date-parts":[[2020,10,2]]},"reference":[{"key":"e_1_3_2_1_1_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_2_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_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/3220134.3223044"},{"key":"e_1_3_2_1_4_1","volume-title":"Human engineering for an effective air navigation and traffic control system","author":"Fitts P.","unstructured":"Fitts P. 1951. Human engineering for an effective air navigation and traffic control system . National Research Council , Washington, DC Fitts P. 1951. Human engineering for an effective air navigation and traffic control system. National Research Council, Washington, DC"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.promfg.2015.07.641"},{"key":"e_1_3_2_1_6_1","volume-title":"MABA-MABA or Abracadabra? Progress on Human-Automation Co-ordination. Cognition Tech Work 4, 240--244","author":"Dekker S.","year":"2002","unstructured":"Dekker , S. , Woods , D. MABA-MABA or Abracadabra? Progress on Human-Automation Co-ordination. Cognition Tech Work 4, 240--244 ( 2002 ). Dekker, S., Woods, D. MABA-MABA or Abracadabra? Progress on Human-Automation Co-ordination. Cognition Tech Work 4, 240--244 (2002)."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.21236\/ADA057655"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/3468.844354"},{"key":"e_1_3_2_1_9_1","volume-title":"Towards a dynamic balance between humans and automation: authority, ability, responsibility and control in shared and cooperative control situations. Cogn Tech Work 14, 3--18","author":"Flemisch F.","year":"2012","unstructured":"Flemisch , F. , Heesen , M. , Hesse , T. , Kelsch J. , Schieben A. & Beller J. Towards a dynamic balance between humans and automation: authority, ability, responsibility and control in shared and cooperative control situations. Cogn Tech Work 14, 3--18 ( 2012 ). https:\/\/doi.org\/10.1007\/s10111-011-0191-6 10.1007\/s10111-011-0191-6 Flemisch, F., Heesen, M., Hesse, T., Kelsch J., Schieben A. & Beller J. Towards a dynamic balance between humans and automation: authority, ability, responsibility and control in shared and cooperative control situations. Cogn Tech Work 14, 3--18 (2012). https:\/\/doi.org\/10.1007\/s10111-011-0191-6"},{"key":"e_1_3_2_1_11_1","volume-title":"Proceedings of the 1985 ACM annual conference on The range of computing: mid-80's perspective: mid-80's perspective (ACM '85)","author":"Smith D.","unstructured":"Smith D. , Ludolph F. , Irby C. , and Johnson J . 1985. The desktop metaphor as an approach to user interface design (panel discussion) . In Proceedings of the 1985 ACM annual conference on The range of computing: mid-80's perspective: mid-80's perspective (ACM '85) . ACM, 548--549. Smith D., Ludolph F., Irby C., and Johnson J. 1985. The desktop metaphor as an approach to user interface design (panel discussion). In Proceedings of the 1985 ACM annual conference on The range of computing: mid-80's perspective: mid-80's perspective (ACM '85). ACM, 548--549."},{"key":"e_1_3_2_1_12_1","volume-title":"HCSE","author":"Cronel M.","year":"2019","unstructured":"Cronel M. , Dumas B. , Palanque P. , Canny A. ( 2019 ) MIODMIT: A Generic Architecture for Dynamic Multimodal Interactive Systems. In: Bogdan C., Kuusinen K., L\u00e1rusd\u00f3ttir M., Palanque P., Winckler M. (eds) Human-Centered Software Engineering . HCSE 2018. Lecture Notes in Computer Science, vol 11262. Springer Cronel M., Dumas B., Palanque P., Canny A. (2019) MIODMIT: A Generic Architecture for Dynamic Multimodal Interactive Systems. In: Bogdan C., Kuusinen K., L\u00e1rusd\u00f3ttir M., Palanque P., Winckler M. (eds) Human-Centered Software Engineering. HCSE 2018. Lecture Notes in Computer Science, vol 11262. Springer"},{"key":"e_1_3_2_1_13_1","volume-title":"ACM SIGCHI UIST conference (pp. 603--614)","author":"Casiez G.","unstructured":"Casiez G. , and Roussel N . 2011. No more bricolage!: methods and tools to characterize, replicate and compare pointing transfer functions . ACM SIGCHI UIST conference (pp. 603--614) . ACM. Casiez G., and Roussel N. 2011. No more bricolage!: methods and tools to characterize, replicate and compare pointing transfer functions. ACM SIGCHI UIST conference (pp. 603--614). ACM."},{"key":"e_1_3_2_1_14_1","first-page":"449","volume-title":"proceedings of the Interact'90 conference","author":"Buxton","year":"1990","unstructured":"W. Buxton . A three state model of graphical input . In proceedings of the Interact'90 conference , p. 449 -- 456 , North Holland 1990 . W. Buxton. A three state model of graphical input. In proceedings of the Interact'90 conference, p.449--456, North Holland 1990."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-7091-7491-3_5"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-7091-6878-3_10"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1177\/154193128202600114"},{"key":"e_1_3_2_1_18_1","first-page":"302","volume-title":"proceedings of the Society for Information Display","author":"Epps H.","year":"1986","unstructured":"B. Epps , H. Snyder , W. Mutol . Comparison of six cursor devices on a target acquisition task . In proceedings of the Society for Information Display , 1986 , pp. 302 -- 305 . B. Epps, H. Snyder, W. Mutol. Comparison of six cursor devices on a target acquisition task. In proceedings of the Society for Information Display, 1986, pp. 302--305."},{"key":"e_1_3_2_1_19_1","volume-title":"SIGCHI Conf. on Human Factors in Computing Systems (CHI '04","author":"Blanch R.","unstructured":"Blanch R. , Guiard Y. , and Beaudouin-Lafon M . 2004. Semantic pointing: improving target acquisition with control-display ratio adaptation . SIGCHI Conf. on Human Factors in Computing Systems (CHI '04 . ACM, 519--526. Blanch R., Guiard Y., and Beaudouin-Lafon M. 2004. Semantic pointing: improving target acquisition with control-display ratio adaptation. SIGCHI Conf. on Human Factors in Computing Systems (CHI '04. ACM, 519--526."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1614390.1614393"},{"key":"e_1_3_2_1_21_1","volume-title":"SIGCHI Conf. on Human Factors in Computing Systems (CHI '11)","author":"Harrison C.","year":"1999","unstructured":"Harrison C. , Hsieh G. , Willis K. , Forlizzi J. , and Hudson S . 2011. Kineticons: using iconographic motion in graphical user interface design . SIGCHI Conf. on Human Factors in Computing Systems (CHI '11) . ACM, 1999 --2008. Harrison C., Hsieh G., Willis K., Forlizzi J., and Hudson S. 2011. Kineticons: using iconographic motion in graphical user interface design. SIGCHI Conf. on Human Factors in Computing Systems (CHI '11). ACM, 1999--2008."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/502907.502909"},{"key":"e_1_3_2_1_23_1","volume-title":"Perceived User Experience of Animated Transitions in Mobile User Interfaces. CHI Conference Extended Abstracts on Human Factors in Computing Systems (CHI EA '16)","author":"Merz B.","unstructured":"Merz B. , Tuch A. , and Opwis K . 2016 . Perceived User Experience of Animated Transitions in Mobile User Interfaces. CHI Conference Extended Abstracts on Human Factors in Computing Systems (CHI EA '16) . ACM, USA, 3152--3158. Merz B., Tuch A., and Opwis K. 2016. Perceived User Experience of Animated Transitions in Mobile User Interfaces. CHI Conference Extended Abstracts on Human Factors in Computing Systems (CHI EA '16). ACM, USA, 3152--3158."},{"key":"e_1_3_2_1_24_1","first-page":"81","volume-title":"User interface software","author":"Stasko J.","year":"1993","unstructured":"Stasko J. Animation in user interfaces: principles and techniques . In: User interface software . JohnWiley and Sons , 1993 , pp. 81 -- 101 . Stasko J. Animation in user interfaces: principles and techniques. In: User interface software. JohnWiley and Sons, 1993, pp. 81--101."},{"key":"e_1_3_2_1_25_1","volume-title":"Computer","volume":"23","author":"Stasko J.","unstructured":"Stasko J. Tango : a framework and system for algorithm animation , in Computer , vol. 23 , no. 9, pp. 27--39, Sept. 1990 Stasko J. Tango: a framework and system for algorithm animation, in Computer, vol. 23, no. 9, pp. 27--39, Sept. 1990"},{"key":"e_1_3_2_1_26_1","volume-title":"ACM SIGCHI symposium on Engineering interactive computing systems (EICS '12)","author":"Mirlacher T.","unstructured":"Mirlacher T. , Palanque P. , and Bernhaupt R . 2012. Engineering animations in user interfaces . ACM SIGCHI symposium on Engineering interactive computing systems (EICS '12) . ACM, USA, 111--120. Mirlacher T., Palanque P., and Bernhaupt R. 2012. Engineering animations in user interfaces. ACM SIGCHI symposium on Engineering interactive computing systems (EICS '12). ACM, USA, 111--120."},{"key":"e_1_3_2_1_27_1","volume-title":"SIGCHI Conf. on Human Factors in Computing Systems (CHI '05)","author":"Grossman T.","unstructured":"Grossman T. and Balakrishnan R . 2005. The bubble cursor: enhancing target acquisition by dynamic resizing of the cursor's activation area . SIGCHI Conf. on Human Factors in Computing Systems (CHI '05) . ACM, 281--290. Grossman T. and Balakrishnan R. 2005. The bubble cursor: enhancing target acquisition by dynamic resizing of the cursor's activation area. SIGCHI Conf. on Human Factors in Computing Systems (CHI '05). ACM, 281--290."},{"key":"e_1_3_2_1_28_1","first-page":"1","article-title":"Automation: Danger or Opportunity? Designing and Assessing Automation for Interactive Systems. In Extended Abstracts of the 2018 CHI Conference on Human Factors in Computing Systems (CHI EA '18). ACM","volume":"19","author":"Palanque P.","year":"2018","unstructured":"Palanque P. , Martinie C , and Fayollas C. 2018 . Automation: Danger or Opportunity? Designing and Assessing Automation for Interactive Systems. In Extended Abstracts of the 2018 CHI Conference on Human Factors in Computing Systems (CHI EA '18). ACM , Paper C19 , 1 -- 4 . Palanque P., Martinie C, and Fayollas C. 2018. Automation: Danger or Opportunity? Designing and Assessing Automation for Interactive Systems. In Extended Abstracts of the 2018 CHI Conference on Human Factors in Computing Systems (CHI EA '18). ACM, Paper C19, 1--4.","journal-title":"Paper"},{"key":"e_1_3_2_1_29_1","volume-title":"Introduction to Automation and to Its Potential for Interactive Systems Design. Human-Computer Interaction - INTERACT","author":"Palanque P.","year":"2019","unstructured":"Palanque P. , Martinie C. , Bouz\u00e9kri E. ( 2019 ) Introduction to Automation and to Its Potential for Interactive Systems Design. Human-Computer Interaction - INTERACT 2019. Lecture Notes in Computer Science, vol 11749. Springer Palanque P., Martinie C., Bouz\u00e9kri E. (2019) Introduction to Automation and to Its Potential for Interactive Systems Design. Human-Computer Interaction - INTERACT 2019. Lecture Notes in Computer Science, vol 11749. Springer"},{"key":"e_1_3_2_1_30_1","volume-title":"Human-Automation Teaming: Lessons Learned and Future Directions. Human Interface and the Management of Information. Information in Applications and Services. HIMI","author":"Battiste V.","year":"2018","unstructured":"Battiste V. , Lachter J. , Brandt S. , Alvarez A. , Strybel T.Z. , Vu KP.L. ( 2018 ) Human-Automation Teaming: Lessons Learned and Future Directions. Human Interface and the Management of Information. Information in Applications and Services. HIMI 2018. LNCS, vol 10905. Springer Battiste V., Lachter J., Brandt S., Alvarez A., Strybel T.Z., Vu KP.L. (2018) Human-Automation Teaming: Lessons Learned and Future Directions. Human Interface and the Management of Information. Information in Applications and Services. HIMI 2018. LNCS, vol 10905. Springer"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/1226736.1226761"},{"key":"e_1_3_2_1_32_1","unstructured":"Federal Aviation Authority (FAA Introduction to TCAS II version 7.1 Feb. 2011. Accessed July 22nd 2020. http:\/\/www.faa.gov\/documentLibrary\/media\/Advisory Circular\/TCAS%Error! Hyperlink reference not valid.  Federal Aviation Authority (FAA Introduction to TCAS II version 7.1 Feb. 2011. Accessed July 22nd 2020. http:\/\/www.faa.gov\/documentLibrary\/media\/Advisory Circular\/TCAS%Error! Hyperlink reference not valid."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/3230740"},{"key":"e_1_3_2_1_34_1","volume-title":"Understanding Interruptions in Head-Mounted Display Settings. 2019 on Designing Interactive Systems Conference (DIS '19)","author":"George C.","unstructured":"George C. , Janssen P. , Heuss D. , and Alt F . 2019. Should I Interrupt or Not? Understanding Interruptions in Head-Mounted Display Settings. 2019 on Designing Interactive Systems Conference (DIS '19) . ACM, 497--510. George C., Janssen P., Heuss D., and Alt F. 2019. Should I Interrupt or Not? Understanding Interruptions in Head-Mounted Display Settings. 2019 on Designing Interactive Systems Conference (DIS '19). ACM, 497--510."},{"key":"e_1_3_2_1_35_1","first-page":"4","article-title":"Khronos Developer University OpenGL ES 1.1 coding challenge","volume":"2","author":"Lee K.","year":"2004","unstructured":"Lee K. 2004 . Khronos Developer University OpenGL ES 1.1 coding challenge . Comput. Entertain. 2 , 4 (October 2004, 7. Lee K. 2004. Khronos Developer University OpenGL ES 1.1 coding challenge. Comput. Entertain. 2, 4 (October 2004, 7.","journal-title":"Comput. Entertain."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1017\/S037346330001794X"},{"key":"e_1_3_2_1_37_1","volume-title":"CHI Conference on Human Factors in Computing Systems (CHI '20","author":"Komatsu T.","unstructured":"Komatsu T. and Yamada S . 2020. Exploring Auditory Information to Change Users' Perception of Time Passing as Shorter . CHI Conference on Human Factors in Computing Systems (CHI '20 . Association for Computing Machinery, New York, NY, USA, 1--12. Komatsu T. and Yamada S. 2020. Exploring Auditory Information to Change Users' Perception of Time Passing as Shorter. CHI Conference on Human Factors in Computing Systems (CHI '20. Association for Computing Machinery, New York, NY, USA, 1--12."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"crossref","unstructured":"Allan L. G. 1979. The Perception of Time Perception and Psychophysics 26 (5 340--354.  Allan L. G. 1979. The Perception of Time Perception and Psychophysics 26 (5 340--354.","DOI":"10.3758\/BF03204158"},{"key":"e_1_3_2_1_39_1","volume-title":"Mechatronics. Bosch Professional Automotive Information","author":"Kost F.","unstructured":"Kost F. (2015 Antilock Braking System (ABS . In: Reif K. (eds Automotive Mechatronics. Bosch Professional Automotive Information . Springer Vieweg , Wiesbaden Kost F. et al. (2015 Antilock Braking System (ABS. In: Reif K. (eds Automotive Mechatronics. Bosch Professional Automotive Information. Springer Vieweg, Wiesbaden"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/332040.332473"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-61061-0_10"},{"key":"e_1_3_2_1_42_1","volume-title":"Prinzel","author":"Kaber D.B.","year":"2006","unstructured":"Kaber , D.B. , Prinzel , L.J. : Adaptive and Adaptable Automation Design: A Critical Review of the Literature and Recommendations for Future Research. NASA\/TM- 2006 -214504 (2006 Kaber, D.B., Prinzel, L.J.: Adaptive and Adaptable Automation Design: A Critical Review of the Literature and Recommendations for Future Research. NASA\/TM-2006-214504 (2006"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ijhcs.2018.05.001"},{"key":"e_1_3_2_1_44_1","first-page":"77","volume-title":"International Journal of Human-Computer Studies","volume":"72","author":"Martinie C","year":"2014","unstructured":"Martinie C , Navarre D. , Palanque P., A multi-formalism approach for modelbased dynamic distribution of user interfaces of critical interactive systems , International Journal of Human-Computer Studies , Volume 72 , Issue 1 , 2014 , Pages 77 -- 99 , ISSN 1071-5819, https:\/\/doi.org\/10.1016\/j.ijhcs.2013.08.013. 10.1016\/j.ijhcs.2013.08.013 Martinie C, Navarre D., Palanque P., A multi-formalism approach for modelbased dynamic distribution of user interfaces of critical interactive systems, International Journal of Human-Computer Studies, Volume 72, Issue 1, 2014, Pages 77--99, ISSN 1071-5819, https:\/\/doi.org\/10.1016\/j.ijhcs.2013.08.013."},{"key":"e_1_3_2_1_45_1","volume-title":"R.: A Formal Description Technique for the Behavioural Description of Interactive Applications Compliant with ARINC 661 Specification. In: HCI-Aero'04","author":"Navarre D.","year":"2004","unstructured":"Navarre , D. , Palanque , P. , Bastide , R.: A Formal Description Technique for the Behavioural Description of Interactive Applications Compliant with ARINC 661 Specification. In: HCI-Aero'04 , Toulouse, France , 29 September-1st October ( 2004 ) Navarre, D., Palanque, P., Bastide, R.: A Formal Description Technique for the Behavioural Description of Interactive Applications Compliant with ARINC 661 Specification. In: HCI-Aero'04, Toulouse, France, 29 September-1st October (2004)"},{"key":"e_1_3_2_1_46_1","volume-title":"Proceedings of the International Conference & Workshop on Emerging Trends in Technology (ICWET '11)","author":"Mehra M.","year":"1980","unstructured":"Mehra M. , Agarwal M. , Pawar R. , and Shah D . 2011. Mitigating denial of service attack using CAPTCHA mechanism . In Proceedings of the International Conference & Workshop on Emerging Trends in Technology (ICWET '11) . Association for Computing Machinery, New York, NY, USA, 284--287. DOI:https:\/\/doi.org\/10.1145\/ 1980 022.1980086 10.1145\/1980022.1980086 Mehra M., Agarwal M., Pawar R., and Shah D. 2011. Mitigating denial of service attack using CAPTCHA mechanism. In Proceedings of the International Conference & Workshop on Emerging Trends in Technology (ICWET '11). Association for Computing Machinery, New York, NY, USA, 284--287. DOI:https:\/\/doi.org\/10.1145\/1980022.1980086"},{"key":"e_1_3_2_1_47_1","volume-title":"R19-PP\/05","author":"Drogoul F.","year":"2019","unstructured":"Drogoul F. and Palanque P . How to make automation a good solution to the current problems in ATM? Hermes air transportation journal , R19-PP\/05 , April 2019 , http:\/\/hermes.aero\/wp-content\/uploads\/2019\/06\/R19-PP 05-EUROCONTROL.pdf Drogoul F. and Palanque P. How to make automation a good solution to the current problems in ATM? Hermes air transportation journal, R19-PP\/05, April 2019, http:\/\/hermes.aero\/wp-content\/uploads\/2019\/06\/R19-PP 05-EUROCONTROL.pdf"},{"key":"e_1_3_2_1_48_1","volume-title":"Proceedings of the 3rd ACM SIGCHI symposium on Engineering interactive computing systems (EICS '11","author":"Martinie C.","unstructured":"Martinie C. , Palanque P. , Navarre D. , Winckler M. , and Poupart E . 2011. Model-based training: an approach supporting operability of critical interactive systems . In Proceedings of the 3rd ACM SIGCHI symposium on Engineering interactive computing systems (EICS '11 . Association for Computing Machinery, New York, NY, USA, 53--62. Martinie C., Palanque P., Navarre D., Winckler M., and Poupart E. 2011. Model-based training: an approach supporting operability of critical interactive systems. In Proceedings of the 3rd ACM SIGCHI symposium on Engineering interactive computing systems (EICS '11. Association for Computing Machinery, New York, NY, USA, 53--62."},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10111-011-0188-1"},{"key":"e_1_3_2_1_50_1","volume-title":"patterns in cognitive systems engineering","author":"Hollnagel E","unstructured":"Hollnagel E , Woods DD (2005 Joint cognitive systems : patterns in cognitive systems engineering . CRC Press , Boca Rotan Hollnagel E, Woods DD (2005 Joint cognitive systems: patterns in cognitive systems engineering. CRC Press, Boca Rotan"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1080\/1463922021000054335"},{"key":"e_1_3_2_1_52_1","volume-title":"The Boeing 737 MAX Accidents. Software Safety Limited","author":"Daniels D.","year":"2019","unstructured":"Daniels D. The Boeing 737 MAX Accidents. Software Safety Limited 2019 . Published by the Safety-Critical Systems Club. All Rights Reserved . Daniels D. The Boeing 737 MAX Accidents. Software Safety Limited 2019. Published by the Safety-Critical Systems Club. All Rights Reserved."},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/3055378.3055379"},{"key":"e_1_3_2_1_54_1","volume-title":"8th Formal Methods for Interactive Systems workshop (FMIS '19)","author":"Navarre D.","year":"2019","unstructured":"Navarre D. , Palanque P. , Coppers S. , Luyten K. , Vanacken D. , 2019 . Fortune Nets for Fortunettes: Formal, Petri nets-based Engineering of Feedforward for GUI Widgets . 8th Formal Methods for Interactive Systems workshop (FMIS '19) , LNCS, Springer Verlag Navarre D., Palanque P., Coppers S., Luyten K., Vanacken D., 2019. Fortune Nets for Fortunettes: Formal, Petri nets-based Engineering of Feedforward for GUI Widgets. 8th Formal Methods for Interactive Systems workshop (FMIS '19), LNCS, Springer Verlag"},{"key":"e_1_3_2_1_55_1","first-page":"36","volume-title":"HWID 2018: Human Work Interaction Design. Designing Engaging Automation conference, IFIP AICT","volume":"544","author":"Bouzekri E.","unstructured":"Bouzekri E. , Canny A. , Martinie C. , Palanque P. , Gris C. Using Task Descriptions with Explicit Representation of Allocation of Functions, Authority and Responsibility to Design and Assess Automation . HWID 2018: Human Work Interaction Design. Designing Engaging Automation conference, IFIP AICT , volume 544 , pp 36 -- 56 Bouzekri E., Canny A., Martinie C., Palanque P., Gris C. Using Task Descriptions with Explicit Representation of Allocation of Functions, Authority and Responsibility to Design and Assess Automation. HWID 2018: Human Work Interaction Design. Designing Engaging Automation conference, IFIP AICT, volume 544, pp 36--56"},{"key":"e_1_3_2_1_56_1","first-page":"130","volume-title":"The Words of Mathematics: An Etymological Dictionary of Mathematical Terms Used in English. MAA","author":"Schwartzman S.","unstructured":"Schwartzman S. (1994. The Words of Mathematics: An Etymological Dictionary of Mathematical Terms Used in English. MAA . p. 130 . Schwartzman S. (1994. The Words of Mathematics: An Etymological Dictionary of Mathematical Terms Used in English. MAA. p. 130."},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1002\/cne.920180503"},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-92081-8_9"},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1518\/107118191786755012"}],"event":{"name":"AVI '20: International Conference on Advanced Visual Interfaces","location":"Salerno Italy","acronym":"AVI '20","sponsor":["SIGWEB ACM Special Interest Group on Hypertext, Hypermedia, and Web","ACM Association for Computing Machinery","SIGMM ACM Special Interest Group on Multimedia","SIGCHI ACM Special Interest Group on Computer-Human Interaction"]},"container-title":["Proceedings of the International Conference on Advanced Visual Interfaces"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3399715.3400872","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3399715.3400872","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T21:31:49Z","timestamp":1750195909000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3399715.3400872"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,9,28]]},"references-count":58,"alternative-id":["10.1145\/3399715.3400872","10.1145\/3399715"],"URL":"https:\/\/doi.org\/10.1145\/3399715.3400872","relation":{},"subject":[],"published":{"date-parts":[[2020,9,28]]},"assertion":[{"value":"2020-10-02","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}