{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:11:39Z","timestamp":1750306299920,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":34,"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.2899366","type":"proceedings-article","created":{"date-parts":[[2016,4,18]],"date-time":"2016-04-18T12:23:32Z","timestamp":1460982212000},"page":"41-52","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":8,"title":["Concept Maps for Integrating Modeling Techniques for the Analysis and Re-Design of Partly-Autonomous Interactive Systems"],"prefix":"10.1145","author":[{"given":"Martina","family":"Ragosta","sequence":"first","affiliation":[{"name":"Deep Blue, Piazza Buenos Aires 20, 00198, Rome, Italy"}]},{"given":"C\u00e9lia","family":"Martinie","sequence":"additional","affiliation":[{"name":"IRIT, University of Toulouse, 118, route de Narbonne, 31042 Toulouse, France"}]},{"given":"Philippe","family":"Palanque","sequence":"additional","affiliation":[{"name":"IRIT, University of Toulouse, 118, route de Narbonne, 31042 Toulouse, France"}]},{"given":"David","family":"Navarre","sequence":"additional","affiliation":[{"name":"IRIT, University of Toulouse, 118, route de Narbonne, 31042 Toulouse, France"}]},{"given":"Mark Alexander","family":"Sujan","sequence":"additional","affiliation":[{"name":"Warwick Medical School, University of Warwick, Coventry CV4 7AL, UK"}]}],"member":"320","published-online":{"date-parts":[[2015,9,30]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1822018.1822043"},{"key":"e_1_3_2_1_2_1","first-page":"46","volume-title":"ATACCS 2011","author":"Barboni E.","year":"2011","unstructured":"Barboni , E. , Lanzi , P. , Martinie , C. , Palanque , P. , Pasquini , A. , Ragosta , M. and Winckler , M ., Formal Tasks and Systems Models as a Tool for Specifying and Assessing Automation Designs . ATACCS 2011 , ACM DL, 2011 , pp. 46 -- 50 Barboni, E., Lanzi, P., Martinie, C., Palanque, P., Pasquini, A., Ragosta, M. and Winckler, M., Formal Tasks and Systems Models as a Tool for Specifying and Assessing Automation Designs. ATACCS 2011, ACM DL, 2011, pp. 46--50"},{"key":"e_1_3_2_1_3_1","first-page":"83","volume-title":"Management Science Models and Techniques","author":"Emery F.","year":"1960","unstructured":"Emery , F. , & Trist , E. ( 1960 ). Management Science Models and Techniques , vol. 2 . In C. Churchman, & M. Verhulst, Socio-technical systems. pp. 83 -- 97 . Pergamon , Oxford, UK. Emery, F., & Trist, E. (1960). Management Science Models and Techniques, vol. 2. In C. Churchman, & M. Verhulst, Socio-technical systems. pp. 83--97. Pergamon, Oxford, UK."},{"key":"e_1_3_2_1_4_1","volume-title":"An Introduction to Information Engineering: From Strategic Planning to Information Systems","author":"Finkelstein C.","year":"1990","unstructured":"Finkelstein C. An Introduction to Information Engineering: From Strategic Planning to Information Systems , Addison-Wesley Longman Publishing Co., Inc. , Boston, MA , 1990 Finkelstein C. An Introduction to Information Engineering: From Strategic Planning to Information Systems, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1990"},{"key":"e_1_3_2_1_5_1","first-page":"00","article-title":"E-01-02: Position Paper","volume":"00","author":"Research Network","year":"2014","unstructured":"HALA¡ SESAR Research Network , 2014 . E-01-02: Position Paper , Ed. 00 . 00 .02 HALA¡ SESAR Research Network, 2014. E-01-02: Position Paper, Ed.00.00.02","journal-title":"Ed."},{"key":"e_1_3_2_1_6_1","volume-title":"FRAM: The functional resonance analysis method for modelling complex socio-technical systems","author":"Hollnagel E.","year":"2012","unstructured":"Hollnagel , E. ( 2012 ). FRAM: The functional resonance analysis method for modelling complex socio-technical systems . Farnham, UK : Ashgate . Hollnagel, E. (2012). FRAM: The functional resonance analysis method for modelling complex socio-technical systems. Farnham, UK: Ashgate."},{"volume-title":"Cognitive Reliability and Error Analysis Method","author":"Hollnagel E.","key":"e_1_3_2_1_7_1","unstructured":"Hollnagel , E. 1998. Cognitive Reliability and Error Analysis Method . Elsevier Science , Oxford . Hollnagel, E. 1998. Cognitive Reliability and Error Analysis Method. Elsevier Science, Oxford."},{"key":"e_1_3_2_1_8_1","volume-title":"Concepts and Precepts","author":"Hollnagel E.","year":"2006","unstructured":"Hollnagel , E. , \" Resilience - the Challenge of the Unstable (Chapter 1).\" Resilience Engineering : Concepts and Precepts . 2006 . Hollnagel, E., \"Resilience - the Challenge of the Unstable (Chapter 1).\" Resilience Engineering: Concepts and Precepts. 2006."},{"key":"e_1_3_2_1_9_1","unstructured":"IEC 61882:2001 Hazard and Operability Studies (HAZOP Studies) - Application Guide.  IEC 61882:2001 Hazard and Operability Studies (HAZOP Studies) - Application Guide."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0951-8320(01)00099-0"},{"key":"e_1_3_2_1_11_1","volume-title":"System development","author":"Jackson M.A.","year":"1983","unstructured":"Jackson M.A. System development (Prentice-Hall International series in computer science), Prentice-Hall , Inc., Upper Saddle River, NJ, 1983 Jackson M.A. System development (Prentice-Hall International series in computer science), Prentice-Hall, Inc., Upper Saddle River, NJ, 1983"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/310641.310642"},{"key":"e_1_3_2_1_13_1","first-page":"795","volume-title":"Proc. of the 26th annual conference of the cognitive science society; Mahwah, NJ: Lawrence Erlbaum","author":"Leake D. B.","year":"2004","unstructured":"Leake , D. B. , Maguitman , A. , & Reichherzer , T. ( 2004 ). Understanding knowledge models: Modeling assessment of concept importance in concept maps. In R. Alterman, & D. Kirsch (É\u00c9d.) , Proc. of the 26th annual conference of the cognitive science society; Mahwah, NJ: Lawrence Erlbaum , pp. 795 -- 800 . Leake, D. B., Maguitman, A., & Reichherzer, T. (2004). Understanding knowledge models: Modeling assessment of concept importance in concept maps. In R. Alterman, & D. Kirsch (É\u00c9d.), Proc. of the 26th annual conference of the cognitive science society; Mahwah, NJ: Lawrence Erlbaum, pp. 795--800."},{"issue":"4","key":"e_1_3_2_1_14_1","first-page":"237","volume":"42","author":"Leveson N. G.","year":"2004","unstructured":"Leveson , N. G. ( 2004 ). A New Accident Model for Engineering Safer Systems. Science , 42 ( 4 ), 237 -- 270 . Leveson, N. G. (2004). A New Accident Model for Engineering Safer Systems. Science, 42(4), 237--270.","journal-title":"A New Accident Model for Engineering Safer Systems. Science"},{"volume-title":"Jos\u00e9 Luiz Fiadeiro, and Amit P","author":"Management","key":"e_1_3_2_1_15_1","unstructured":"Management (BPM'06), Schahram Dustdar , Jos\u00e9 Luiz Fiadeiro, and Amit P . Sheth (Eds.). Springer-Verlag Management (BPM'06), Schahram Dustdar, Jos\u00e9 Luiz Fiadeiro, and Amit P. Sheth (Eds.). Springer-Verlag"},{"volume-title":"SMC 2011: 3267--3273","author":"Martinie C.","key":"e_1_3_2_1_16_1","unstructured":"Martinie C. , Palanque P. , Barboni E. , Ragosta M. Task-model based assessment of automation levels: Application to space ground segments . SMC 2011: 3267--3273 Martinie C., Palanque P., Barboni E., Ragosta M. Task-model based assessment of automation levels: Application to space ground segments. SMC 2011: 3267--3273"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.5555\/2042182.2042235"},{"key":"e_1_3_2_1_18_1","volume-title":"S. (2012)","author":"Martinie C.","year":"2012","unstructured":"Martinie , C. , Palanque , P. , Pasquini , A. , Ragosta , M. , Rigaud , E. , Silvagni , S. (2012) Using Complementary ModelS-Based Approaches for Representing and Analysing ATM Systems' Variability. ATACCS 2012 , London, UK, ACM DL, 2012. Martinie, C., Palanque, P., Pasquini, A., Ragosta, M., Rigaud, E., Silvagni, S. (2012) Using Complementary ModelS-Based Approaches for Representing and Analysing ATM Systems' Variability. ATACCS 2012, London, UK, ACM DL, 2012."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/2501907.2501954"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-40793-2_20"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1016\/0169-8141(89)90038-3"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2002.1027801"},{"key":"e_1_3_2_1_23_1","volume-title":"A formal description technique for the behavioral description of interactive applications compliant with ARINC 661 specifications. HCI-Aero'04. Toulouse","author":"Navarre D.","year":"2004","unstructured":"Navarre , D. , Palanque , P. , & Bastide , R. ( 2004 ). A formal description technique for the behavioral description of interactive applications compliant with ARINC 661 specifications. HCI-Aero'04. Toulouse Navarre, D., Palanque, P., & Bastide, R. (2004). A formal description technique for the behavioral description of interactive applications compliant with ARINC 661 specifications. HCI-Aero'04. Toulouse"},{"key":"e_1_3_2_1_24_1","unstructured":"Oracle BPEL Process Manager. http:\/\/www.oracle.com\/technology\/products\/ias\/bpel\/index.html  Oracle BPEL Process Manager. http:\/\/www.oracle.com\/technology\/products\/ias\/bpel\/index.html"},{"volume-title":"IFIP conference on Human Error, Safety and Systems Development 2004: 109--130","author":"Palanque P.","key":"e_1_3_2_1_25_1","unstructured":"Palanque P. , Basnyat S. Task Patterns for Taking Into Account in an Efficient and Systematic Way Both Standard and Erroneous User Behaviours . IFIP conference on Human Error, Safety and Systems Development 2004: 109--130 Palanque P., Basnyat S. Task Patterns for Taking Into Account in an Efficient and Systematic Way Both Standard and Erroneous User Behaviours. IFIP conference on Human Error, Safety and Systems Development 2004: 109--130"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/800195.805945"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1006\/ijhc.2001.0523"},{"key":"e_1_3_2_1_29_1","volume-title":"England.","author":"Reason J.","year":"1997","unstructured":"Reason , J. ( 1997 ): Managing the Risks of Organizational Accidents. Ashgate , England. Reason, J. (1997): Managing the Risks of Organizational Accidents. Ashgate, England."},{"key":"e_1_3_2_1_30_1","unstructured":"Tardieu H. Rochfeld A. Colletti R. 1985 \"La M\u00e9thode MERISE\". Tome 1. ISBN  Tardieu H. Rochfeld A. Colletti R. 1985 \"La M\u00e9thode MERISE\". Tome 1. ISBN"},{"key":"e_1_3_2_1_31_1","unstructured":"Tardieu H. Rochfeld A. Colletti R. Panet G. Vah\u00e9e G. 1987 \"La M\u00e9thode MERISE\". Tome 2. ISBN: 2-7081-0703-8. Ed. Les Edition d'organization  Tardieu H. Rochfeld A. Colletti R. Panet G. Vah\u00e9e G. 1987 \"La M\u00e9thode MERISE\". Tome 2. ISBN: 2-7081-0703-8. Ed. Les Edition d'organization"},{"key":"e_1_3_2_1_32_1","volume-title":"Procedures for Performing a Failure Mode, Effects and Criticality Analysis","author":"U.S. Department of Defense","year":"1980","unstructured":"U.S. Department of Defense , Procedures for Performing a Failure Mode, Effects and Criticality Analysis . 1980 . MIL-STD- 1629A. U.S. Department of Defense, Procedures for Performing a Failure Mode, Effects and Criticality Analysis. 1980. MIL-STD-1629A."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2004.02.002"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1007\/11841760_12"},{"key":"e_1_3_2_1_35_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.2899366","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2899361.2899366","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.2899366"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,9,30]]},"references-count":34,"alternative-id":["10.1145\/2899361.2899366","10.1145\/2899361"],"URL":"https:\/\/doi.org\/10.1145\/2899361.2899366","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"}}]}}