{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,30]],"date-time":"2025-12-30T23:53:18Z","timestamp":1767138798401,"version":"build-2238731810"},"publisher-location":"Cham","reference-count":21,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319518374","type":"print"},{"value":"9783319518381","type":"electronic"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-51838-1_11","type":"book-chapter","created":{"date-parts":[[2017,4,24]],"date-time":"2017-04-24T04:23:43Z","timestamp":1493007823000},"page":"297-317","source":"Crossref","is-referenced-by-count":3,"title":["Learning Safe Interactions and Full-Control"],"prefix":"10.1007","author":[{"given":"Guillaume","family":"Maudoux","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Charles","family":"Pecheur","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S\u00e9bastien","family":"Comb\u00e9fis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,4,25]]},"reference":[{"key":"11_CR1","doi-asserted-by":"crossref","unstructured":"Blandford A, Cauchi A, Curzon P, Eslambolchilar P, Furniss D, Gimblett A, Huang H, Lee P, Li Y, Masci P, Oladimeji P, Rajkomar A, Ruk\u0161\u0117nas R, Thimbleby H (2011) Comparing actual practice and user manuals: a case study based on programmable infusion pumps. In: Proceedings of the 1st international workshop on engineering interactive computing systems for medecine and health care (EICS4Med 2011)","DOI":"10.1145\/1996461.1996556"},{"key":"11_CR2","unstructured":"Bolton ML, Bass EJ, Siminiceanu RI (2008) Using formal methods to predict human error and system failures. In: Proceedings of the second international conference on applied human factors and ergonomics (AHFE 2008)"},{"key":"11_CR3","doi-asserted-by":"crossref","unstructured":"Buth B (2004) Analysing mode confusion: an approach using FDR2. In: Heisel M, Liggesmeyer P, Wittmann S (eds) Proceedings of the 23rd international conference on computer safety, reliability and security (SAFECOMP 2004). Lecture notes in computer science, vol 3219. Springer, pp 101\u2013114","DOI":"10.1007\/978-3-540-30138-7_9"},{"key":"11_CR4","doi-asserted-by":"crossref","unstructured":"Campos JC, Harrison MD (2008) Systematic analysis of control panel interfaces using formal tools. In: Graham TCN, Palanque PA (eds) Proceedings of the 15th international workshop on design, specification and verification of interactive systems (DSV-IS 2008). Lecture notes in computer science, vol 5136. Springer, pp 72\u201385","DOI":"10.1007\/978-3-540-70569-7_6"},{"key":"11_CR5","unstructured":"Campos JC, Harrison MD, Loer K (2004) Verifying user interfaces behaviour with model checking. In: Augusto JC, Ultes-Nitsche U (eds) Proceedings of the 2nd international workshop on verification and validation of enterprise information systems (VVEIS 2004). INSTICC Press, pp 87\u201396"},{"key":"11_CR6","unstructured":"Carroll JM, Anderson NS, Olson JR et\u00a0al (1987) Mental models in human-computer interaction: research issues about what the user of software knows, Number\u00a012. National academies"},{"key":"11_CR7","unstructured":"Comb\u00e9fis S (2013) A formal framework for the analysis of human-machine interactions. PhD thesis, Universit\u00e9 catholique de Louvain"},{"key":"11_CR8","doi-asserted-by":"crossref","first-page":"101","DOI":"10.1145\/1570433.1570454","volume-title":"Proceedings of the ACM SIGCHI symposium on engineering interactive computing systems (EICS 2009)","author":"S Comb\u00e9fis","year":"2009","unstructured":"Comb\u00e9fis S, Pecheur C (2009) A bisimulation-based approach to the analysis of human-computer interaction. In: Calvary G, Graham TCN, Gray P (eds) Proceedings of the ACM SIGCHI symposium on engineering interactive computing systems (EICS 2009). ACM, New York, NY, USA, pp 101\u2013110"},{"key":"11_CR9","doi-asserted-by":"crossref","unstructured":"Comb\u00e9fis S, Giannakopoulou D, Pecheur C, Feary M (2011a) Learning system abstractions for human operators. Proceedings of the 2011 international workshop on machine learning technologies in software engineering (MALETS 2011). New York, NY, USA. ACM, pp 3\u201310","DOI":"10.1145\/2070821.2070822"},{"key":"11_CR10","doi-asserted-by":"crossref","unstructured":"Comb\u00e9fis S, Giannakopoulou D, Pecheur C, Feary M (2011b) A formal framework for design and analysis of human-machine interaction. In: Proceedings of the 2011 IEEE international conference on systems, man, and cybernetics (SMC 2011). IEEE, pp 1801\u20131808","DOI":"10.1109\/ICSMC.2011.6083933"},{"key":"11_CR11","doi-asserted-by":"crossref","unstructured":"Delp C, Lam D, Fosse E, Lee C-Y (2013) Model based document and report generation for systems engineering. In: 2013 IEEE aerospace conference. IEEE, pp 1\u201311","DOI":"10.1109\/AERO.2013.6496926"},{"issue":"2","key":"11_CR12","doi-asserted-by":"crossref","first-page":"311","DOI":"10.1518\/001872007X312522","volume":"49","author":"Heymann Michael","year":"2007","unstructured":"Michael Heymann, Asaf Degani (2007) Formal analysis and automatic generation of user interfaces: approach, methodology, and an algorithm. Hum Factors: J Hum Factors Ergon Soc 49(2):311\u2013330","journal-title":"Hum Factors: J Hum Factors Ergon Soc"},{"issue":"4","key":"11_CR13","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1016\/S0020-7373(85)80045-6","volume":"22","author":"E Kieras David","year":"1985","unstructured":"Kieras David E, Polson Peter G (1985) An approach to the formal analysis of user complexity. Int J Man-Mach Stud 22(4):365\u2013394","journal-title":"Int J Man-Mach Stud"},{"key":"11_CR14","unstructured":"Palmer E (1995) \u201coops, it didn\u2019t arm.\u201d\u2014a case study of two automation surprises. In: Jensen RS, Rakovan LA (eds) Proceedings of the 8th international symposium on aviation psychology (ISAP 1995), April 1995"},{"issue":"2","key":"11_CR15","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1016\/S0951-8320(01)00092-8","volume":"75","author":"J Rushby","year":"2002","unstructured":"Rushby J (2002) Using model checking to help discover mode confusions and other automation surprises. Reliab Eng Syst Saf 75(2):167\u2013177","journal-title":"Reliab Eng Syst Saf"},{"key":"11_CR16","unstructured":"Sarter NB, Woods DD, Billings CE (1997) Automation surprises. In: Salvendy G (ed) Handbook of human factors and ergonomics, chapter\u00a057. Wiley, pp 1926\u20131943"},{"key":"11_CR17","unstructured":"Spichkova M, Zhu X, Mou D (2014) Do we really need to write documentation for a system? CASE tool add-ons: generator+editor for a precise documentation. CoRR, 2014. http:\/\/arXiv.org\/abs\/1404.7265"},{"issue":"4","key":"11_CR18","doi-asserted-by":"crossref","first-page":"587","DOI":"10.1006\/imms.1993.1028","volume":"38","author":"Staggers Nancy","year":"1993","unstructured":"Nancy Staggers, Norcio Anthony F (1993) Mental models: concepts for human-computer interaction research. Int J Man-Mach Stud 38(4):587\u2013605","journal-title":"Int J Man-Mach Stud"},{"key":"11_CR19","unstructured":"Thimbleby HW, Ladkin PB (1995) A proper explanation when you need one. In: Kirby MAR, Dix AJ, Finlay JM (eds) Proceedings of HCI \u201995 people and computers X, Huddersfield, August 1995. University Press, pp 107\u2013118. ISBN 0-521-56729-7"},{"issue":"6","key":"11_CR20","doi-asserted-by":"crossref","first-page":"347","DOI":"10.1049\/sej.1996.0045","volume":"11","author":"Thimbleby Harold","year":"1996","unstructured":"Harold Thimbleby, Ladkin Peter B (1996) From logic to manuals. Softw Eng J 11(6):347\u2013354","journal-title":"Softw Eng J"},{"key":"11_CR21","doi-asserted-by":"crossref","unstructured":"Tretmans J (2008) Model based testing with labelled transition systems. In: Hierons R, Bowen J, Harman M (eds) Formal methods and testing. Lecture notes in computer science, vol 4949. Springer, pp 1\u201338","DOI":"10.1007\/978-3-540-78917-8_1"}],"updated-by":[{"DOI":"10.1007\/978-3-319-51838-1_21","type":"erratum","label":"Erratum","source":"publisher","updated":{"date-parts":[[2017,7,29]],"date-time":"2017-07-29T00:00:00Z","timestamp":1501286400000}}],"container-title":["Human\u2013Computer Interaction Series","The Handbook of Formal Methods in Human-Computer Interaction"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-51838-1_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,21]],"date-time":"2019-09-21T14:08:09Z","timestamp":1569074889000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-51838-1_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319518374","9783319518381"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-51838-1_11","relation":{},"ISSN":["1571-5035"],"issn-type":[{"value":"1571-5035","type":"print"}],"subject":[],"published":{"date-parts":[[2017]]}}}