{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,9]],"date-time":"2026-01-09T00:56:45Z","timestamp":1767920205389,"version":"3.49.0"},"publisher-location":"Cham","reference-count":27,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030465391","type":"print"},{"value":"9783030465407","type":"electronic"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020]]},"DOI":"10.1007\/978-3-030-46540-7_9","type":"book-chapter","created":{"date-parts":[[2020,5,3]],"date-time":"2020-05-03T23:02:35Z","timestamp":1588546955000},"page":"84-96","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Characterizing Sets of Systems: Representation and Analysis of Across-Systems Properties"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-7902-3541","authenticated-orcid":false,"given":"Elodie","family":"Bouzekri","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3659-7692","authenticated-orcid":false,"given":"Alexandre","family":"Canny","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7907-3170","authenticated-orcid":false,"given":"C\u00e9lia","family":"Martinie","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5381-971X","authenticated-orcid":false,"given":"Philippe","family":"Palanque","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2020,5,4]]},"reference":[{"key":"9_CR1","unstructured":"Airbus A350 Flight Crew Operating Manual, 5T1 A350 FLEET FCOM. Technical Report. Airbus"},{"key":"9_CR2","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1109\/TDSC.2004.2","volume":"1","author":"A Avizienis","year":"2004","unstructured":"Avizienis, A., Laprie, J.C., Randell, B., Landwehr, C.: Basic concepts and taxonomy of dependable and secure computing. IEEE Trans. Depend. Secure Comput. 1, 11\u201333 (2004). https:\/\/doi.org\/10.1109\/TDSC.2004.2","journal-title":"IEEE Trans. Depend. Secure Comput."},{"key":"9_CR3","doi-asserted-by":"crossref","DOI":"10.4324\/9780429460609","volume-title":"Coping with Computers in the Cockpit","author":"S Dekker","year":"2018","unstructured":"Dekker, S., Hollnagel, E.: Coping with Computers in the Cockpit. Routledge, Abingdon (2018)"},{"key":"9_CR4","doi-asserted-by":"publisher","unstructured":"Fayollas, C., Martinie, C., Navarre, D., Palanque, P., Fahssi, R.: Fault-tolerant user interfaces for critical systems: duplication, redundancy and diversity as new dimensions of distributed user interfaces. In: Proceedings of the 2014 Workshop on Distributed User Interfaces and Multimodal Interaction, pp. 27\u201330. ACM, New York (2014). https:\/\/doi.org\/10.1145\/2677356.2677662","DOI":"10.1145\/2677356.2677662"},{"key":"9_CR5","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1145\/2738210.2738214","volume":"45","author":"P Gerber","year":"2015","unstructured":"Gerber, P., Volkamer, M., Renaud, K.: Usability versus privacy instead of usable privacy: Google\u2019s balancing act between usability and privacy. SIGCAS Comput. Soc. 45, 16\u201321 (2015). https:\/\/doi.org\/10.1145\/2738210.2738214","journal-title":"SIGCAS Comput. Soc."},{"key":"9_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"252","DOI":"10.1007\/978-3-319-48740-3_18","volume-title":"Web Information Systems Engineering \u2013 WISE 2016","author":"S Heil","year":"2016","unstructured":"Heil, S., Bakaev, M., Gaedke, M.: Measuring and ensuring similarity of user interfaces: the impact of web layout. In: Cellary, W., Mokbel, M.F., Wang, J., Wang, H., Zhou, R., Zhang, Y. (eds.) WISE 2016. LNCS, vol. 10041, pp. 252\u2013260. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-48740-3_18"},{"key":"9_CR7","unstructured":"International Standard Organization: \u201cISO 9241-11\u201d Ergonomic requirements for office work with visual display terminals (VDT) \u2013 Part 11 Guidance on Usability (1996)"},{"key":"9_CR8","volume-title":"Research Methods in Human-Computer Interaction","author":"J Lazar","year":"2017","unstructured":"Lazar, J., Feng, J.H., Hochheiser, H.: Research Methods in Human-Computer Interaction. Morgan Kaufmann, Burlington (2017)"},{"key":"9_CR9","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1080\/07370024.1991.9667168","volume":"6","author":"A MacLean","year":"1991","unstructured":"MacLean, A., Young, R.M., Bellotti, V.M.E., Moran, T.P.: Questions, Options, and Criteria: Elements of Design Space Analysis. Human-Computer Interaction. 6, 201\u2013250 (1991). https:\/\/doi.org\/10.1080\/07370024.1991.9667168","journal-title":"Human-Computer Interaction."},{"key":"9_CR10","doi-asserted-by":"publisher","unstructured":"Martinie, C., Palanque, P., Winckler, M., Conversy, S.: DREAMER: a design rationale environment for argumentation, modeling and engineering requirements. In: Proceedings of the 28th ACM International Conference on Design of Communication. pp. 73\u201380. ACM, New York (2010). https:\/\/doi.org\/10.1145\/1878450.1878463","DOI":"10.1145\/1878450.1878463"},{"key":"9_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1007\/978-3-319-92081-8_11","volume-title":"Global Thoughts, Local Designs","author":"D Navarre","year":"2018","unstructured":"Navarre, D., Palanque, P., Hamon, A., Della Pasqua, S.: Similarity as a design driver for user interfaces of dependable critical systems. In: Clemmensen, T., Rajamanickam, V., Dannenmann, P., Petrie, H., Winckler, M. (eds.) INTERACT 2017. LNCS, vol. 10774, pp. 114\u2013122. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-92081-8_11"},{"key":"9_CR12","volume-title":"Usability Engineering","author":"J Nielsen","year":"1994","unstructured":"Nielsen, J.: Usability Engineering. Elsevier, Amsterdam (1994)"},{"key":"9_CR13","unstructured":"Oxford Dictionary. https:\/\/en.oxforddictionaries.com\/definition\/property"},{"key":"9_CR14","doi-asserted-by":"crossref","unstructured":"Petrie, H., Kheir, O.: The relationship between accessibility and usability of websites. In: Proceedings of the SIGCHI Conference on Human Factors in Computing Systems. pp. 397\u2013406. ACM, New York (2007).","DOI":"10.1145\/1240624.1240688"},{"key":"9_CR15","doi-asserted-by":"crossref","unstructured":"Pirker, M.M., Bernhaupt, R.: Measuring user experience in the living room: results from an ethnographically oriented field study indicating major evaluation factors. In: Proceedings of the 9th European Conference on Interactive TV and Video, pp. 79\u201382. ACM, New York (2011)","DOI":"10.1145\/2000119.2000133"},{"key":"9_CR16","doi-asserted-by":"crossref","first-page":"473","DOI":"10.1518\/001872095779049408","volume":"37","author":"CD Wickens","year":"1995","unstructured":"Wickens, C.D., Carswell, C.M.: The proximity compatibility principle: its psychological foundation and relevance to display design. Hum. Factors: J. Hum. Factors Ergon. Soc. 37, 473\u2013494 (1995)","journal-title":"Hum. Factors: J. Hum. Factors Ergon. Soc."},{"key":"9_CR17","unstructured":"DO-333 Formal Methods Supplement to DO-178C and DO-278A, published by RTCA and EUROCAE, 13 December 2011"},{"key":"9_CR18","first-page":"377","volume":"1990","author":"Z Manna","year":"1990","unstructured":"Manna, Z., Pnueli, A.: A hierarchy of temporal properties. ACM Symp. Principles Distrib. Comput. 1990, 377\u2013410 (1990)","journal-title":"ACM Symp. Principles Distrib. Comput."},{"key":"9_CR19","doi-asserted-by":"crossref","unstructured":"Sistla, A.P.: On characterization of safety and liveness properties in temporal logic. In: Proceedings of the Fourth Annual ACM Symposium on Principles of Distributed Computing, pp. 39\u201348. ACM (1985)","DOI":"10.1145\/323596.323600"},{"key":"9_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"510","DOI":"10.1007\/BFb0027047","volume-title":"Current Trends in Concurrency","author":"A Pnueli","year":"1986","unstructured":"Pnueli, A.: Applications of temporal logic to the specification and verification of reactive systems: a survey of current trends. In: de Bakker, J.W., de Roever, W.-P., Rozenberg, G. (eds.) Current Trends in Concurrency. LNCS, vol. 224, pp. 510\u2013584. Springer, Heidelberg (1986). https:\/\/doi.org\/10.1007\/BFb0027047"},{"key":"9_CR21","unstructured":"Clarke, E., Emerson, E.A.: Design and synthesis of synchronization skeletons using branching time temporal logic. In: Logic of Programs: Workshop, Yorktown Heights, NY, May 1981, vol. 131 (1981)"},{"key":"9_CR22","unstructured":"DO-178C\/ED-12C, Software Considerations in Airborne Systems and Equipment Certification, published by RTCA and EUROCAE (2012)"},{"key":"9_CR23","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1016\/j.ress.2018.03.032","volume":"175","author":"X Zhao","year":"2018","unstructured":"Zhao, X., Littlewood, B., Povyakalo, A.A., Strigini, L., Wright, D.: Conservative claims for the probability of perfection of a software-based system using operational experience of previous similar systems. Reliab. Eng. Syst. Saf. 175, 265\u2013282 (2018)","journal-title":"Reliab. Eng. Syst. Saf."},{"key":"9_CR24","doi-asserted-by":"crossref","unstructured":"Gashi, I., Povyakalo, A., Strigini, L.: Diversity, Safety and Security in Embedded Systems: Modelling Adversary Effort and Supply Chain Risks. EDCC 2016, pp. 13\u201324 (2016)","DOI":"10.1109\/EDCC.2016.27"},{"key":"9_CR25","unstructured":"Best, E.: Semantics of Sequential and Parallel Programs. Prentice Hall International series in computer science, Prentice Hall, pp. I-XI, pp. 1\u2013351 (1996), ISBN 978-0-13-460643-9"},{"key":"9_CR26","volume-title":"Software Fault Tolerance","author":"A Avizienis","year":"1995","unstructured":"Avizienis, A.: The Methodology of N-version Programming. In: Lyu, M. (ed.) Software Fault Tolerance. Wiley, Hoboken (1995)"},{"issue":"2","key":"9_CR27","doi-asserted-by":"crossref","first-page":"174","DOI":"10.1145\/353485.353487","volume":"7","author":"J Hollan","year":"2000","unstructured":"Hollan, J., Hutchins, E., Kirsh, D.: Distributed cognition: toward a new foundation for human-computer interaction research. ACM Trans. Comput. Hum. Interact. 7(2), 174\u2013196 (2000)","journal-title":"ACM Trans. Comput. Hum. Interact."}],"container-title":["Lecture Notes in Computer Science","Beyond Interactions"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-46540-7_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,4]],"date-time":"2024-05-04T00:02:40Z","timestamp":1714780960000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-46540-7_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030465391","9783030465407"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-46540-7_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"4 May 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"INTERACT","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"IFIP Conference on Human-Computer Interaction","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Paphos","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Cyprus","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2 September 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"6 September 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"interact2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/interact2019.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Double-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"PCS","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"385","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"111","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"55","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"29% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3.2","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"4","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"48 other papers were accepted.","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}