{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,13]],"date-time":"2026-02-13T18:40:56Z","timestamp":1771008056323,"version":"3.50.1"},"reference-count":85,"publisher":"Oxford University Press (OUP)","issue":"1","license":[{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/academic.oup.com\/journals\/pages\/open_access\/funder_policies\/chorus\/standard_publication_model"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021,1,12]]},"abstract":"<jats:title>Abstract<\/jats:title>\n               <jats:p>This paper presents a formal development approach for designing interactive applications using a correct-by-construction approach. In this work, we propose a refinement strategy using model-view-controller (MVC) to structure and design Event-B formal models of the interactive application. The proposed MVC-based refinement strategy facilitates the development of an abstract model and a series of refined models by introducing the possible modes, controller\u2019s behaviour and visual components of the interactive application while preserving the required interaction-related safety properties. To demonstrate the effectiveness, scalability, reliability and feasibility of our approach, we use a small example (from automotive domain) and real-life industrial case studies (from aviation). The entire development is realized in Event-B and the associated Rodin tool is used to analyse and verify the correctness of the formalized model. Finally, the developed Event-B models are used to generate source code using EB2ALL tool for going from the specification to the implementation of the interactive application.<\/jats:p>","DOI":"10.1093\/iwcomp\/iwab016","type":"journal-article","created":{"date-parts":[[2021,5,11]],"date-time":"2021-05-11T14:28:17Z","timestamp":1620743297000},"page":"92-114","source":"Crossref","is-referenced-by-count":7,"title":["On the Benefits of Using MVC Pattern for Structuring Event-B Models of WIMP Interactive Applications"],"prefix":"10.1093","volume":"33","author":[{"given":"Neeraj Kumar","family":"Singh","sequence":"first","affiliation":[{"name":"INPT-ENSEEIHT\/IRIT, University of Toulouse, 2 Rue Charles Camichel, BP 7122, 31071 Toulouse Cedex 7, France"}]},{"given":"Yamine","family":"A\u00eft-Ameur","sequence":"additional","affiliation":[{"name":"INPT-ENSEEIHT\/IRIT, University of Toulouse, 2 Rue Charles Camichel, BP 7122, 31071 Toulouse Cedex 7, France"}]},{"given":"Romain","family":"Geniet","sequence":"additional","affiliation":[{"name":"Universit\u00e9 de Rennes 1, Rennes, 2 Rue Charles Camichel, BP 7122, 31071 Toulouse Cedex 7, France"}]},{"given":"Dominique","family":"M\u00e9ry","sequence":"additional","affiliation":[{"name":"LORIA, Universit\u00e9 de Lorraine & Telecom Nancy, Nancy, Campus Scientifique, BP 239, 54506, Vand\u0153uvre l\u00e8s Nancy, France"}]},{"given":"Philippe","family":"Palanque","sequence":"additional","affiliation":[{"name":"IRIT, Universit\u00e9 de Toulouse, Toulouse, CS-IRIT, Universit\u00e9 Paul Sabatier \u2013 Toulouse III, 118, route de Narbonne, 31042 Toulouse Cedex 9, France"}]}],"member":"286","published-online":{"date-parts":[[2021,5,10]]},"reference":[{"key":"2021070808100635600_ref1","first-page":"219","article-title":"A formal technique for automated dialogue development","volume-title":"Proc. 1st conf. designing interactive systems: Processes, practices, methods, and techniques, DIS \u201895","author":"Abowd","year":"1995"},{"key":"2021070808100635600_ref2","first-page":"1","article-title":"Refinement, decomposition, and instantiation of discrete models: Application to Event-B","volume":"77","author":"Abrial","year":"2007","journal-title":"Fundam. Inform."},{"key":"2021070808100635600_ref3","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511624162","volume-title":"The B-Book: Assigning Programs to Meanings","author":"Abrial","year":"1996"},{"key":"2021070808100635600_ref4","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781139195881","volume-title":"Modeling in Event-B: System and Software Engineering","author":"Abrial","year":"2010"},{"key":"2021070808100635600_ref5","doi-asserted-by":"crossref","first-page":"447","DOI":"10.1007\/s10009-010-0145-y","article-title":"Rodin: An open toolset for modelling and reasoning in Event-B","volume":"12","author":"Abrial","year":"2010","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"2021070808100635600_ref6","first-page":"143","article-title":"Formal transducers: Models of devices and building bricks for the design of highly interactive systems","volume-title":"DSV-IS","author":"Accot","year":"1997"},{"key":"2021070808100635600_ref7","first-page":"136","article-title":"Cooperation of formal methods in an engineering based software development process","volume-title":"Integrated formal methods, second int. conf., IFM 2000","author":"A\u00eft-Ameur","year":"2000"},{"key":"2021070808100635600_ref8","first-page":"127","article-title":"Etude et comparaison de sc\u00e9narios de d\u00e9veloppements formels d\u2019interfaces multi-modales fond\u00e9s sur la preuve et le raffinement","volume":"13","author":"A\u00eft-Ameur","year":"2008","journal-title":"RSTI"},{"key":"2021070808100635600_ref9","first-page":"123","article-title":"Validation et v\u00e9rification formelles de syst\u00e8mes interactifs multi-modaux fond\u00e9es sur la preuve","volume-title":"Proc. 18th int. conf. association francophone d\u2019interaction homme-machine","author":"A\u00eft-Ameur","year":"2006"},{"key":"2021070808100635600_ref10","doi-asserted-by":"crossref","first-page":"547","DOI":"10.1007\/s10009-006-0008-8","article-title":"Formal and experimental validation approaches in HCI systems design based on a shared Event-B model","volume":"8","author":"A\u00eft-Ameur","year":"2006","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"2021070808100635600_ref11","first-page":"51","article-title":"A uniform approach for specification and design of interactive systems: The B method","volume-title":"Design, specification and verification of interactive systems \u201898: Supplementary proc. fifth int. Eurographics workshop","author":"A\u00eft-Ameur","year":"1998"},{"key":"2021070808100635600_ref12","first-page":"91","article-title":"Using the B formal approach for incremental specification design of interactive systems","volume-title":"Engineering for human\u2013computer interaction: IFIP TC2\/TC13 WG2.7\/WG13.4 seventh working conf. engineering for human\u2013computer interaction","author":"A\u00eft-Ameur","year":"1998"},{"key":"2021070808100635600_ref13","article-title":"Cockpit display system interfaces to user systems","author":"ARINC 661-2","year":"2005"},{"key":"2021070808100635600_ref14","article-title":"Cockpit display system interfaces to user systems","author":"ARINC 661 Specification","year":"2002"},{"key":"2021070808100635600_ref15","article-title":"Graduate Texts in Computer Science","volume-title":"Refinement Calculus: A Systematic Introduction","author":"Back","year":"1998"},{"key":"2021070808100635600_ref16","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1007\/978-3-540-69554-7_3","article-title":"Model-based engineering of widgets, user applications and servers compliant with ARINC 661 specification","volume-title":"Interactive systems: Design, specification, and verification","author":"Barboni","year":"2007"},{"key":"2021070808100635600_ref17","article-title":"A metamodel for the runtime architecture of an interactive system","author":"Bass","year":"1992"},{"key":"2021070808100635600_ref18","first-page":"516","article-title":"A model-based tool for interactive prototyping of highly interactive applications","volume-title":"CHI \u201802 extended abstracts on human factors in computing systems, CHI EA \u201802","author":"Bastide","year":"2002"},{"key":"2021070808100635600_ref19","first-page":"446","article-title":"Instrumental interaction: An interaction model for designing post-wimp user interfaces","volume-title":"Proc. SIGCHI conf. human factors in computing systems, CHI \u201800","author":"Beaudouin-Lafon","year":"2000"},{"key":"2021070808100635600_ref20","first-page":"6","article-title":"Building a formal model of a human-interactive system: Insights into the integration of formal methods and human factors engineering","volume-title":"First NASA Formal Methods symposium, NFM","author":"Bolton","year":"2009"},{"key":"2021070808100635600_ref21","doi-asserted-by":"crossref","first-page":"961","DOI":"10.1109\/TSMCA.2011.2109709","article-title":"A systematic approach to model checking human\u2013automation interaction using task analytic models","volume":"41","author":"Bolton","year":"2011","journal-title":"IEEE Trans. Syst. Man Cybernet. A"},{"key":"2021070808100635600_ref22","first-page":"161","volume-title":"Combining Models for Interactive System Modelling","author":"Bowen","year":"2017"},{"key":"2021070808100635600_ref23","article-title":"Wiley Series in Software Design Patterns","volume-title":"Pattern-Oriented Software Architecture","author":"Buschmann","year":"2007"},{"key":"2021070808100635600_ref24","first-page":"72","volume-title":"Systematic Analysis of Control Panel Interfaces Using Formal Tools","author":"Campos","year":"2008"},{"key":"2021070808100635600_ref25","doi-asserted-by":"crossref","first-page":"276","DOI":"10.1145\/2774225.2774848","article-title":"Verification of properties of interactive components from their executable code","volume-title":"Proc. 7th ACM SIGCHI symposium on Engineering Interactive Computing Systems, EICS \u201815","author":"Chatty","year":"2015"},{"key":"2021070808100635600_ref26","first-page":"321","article-title":"Improving modularity of interactive software with the MDPC architecture","volume-title":"Engineering interactive systems, EIS 2007 joint working conf., EHCI 2007, DSV-IS 2007, HCSE 2007","author":"Conversy","year":"2007"},{"key":"2021070808100635600_ref27","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1145\/36111.1045592","article-title":"PAC: An object oriented model for implementing user interfaces","volume":"19","author":"Coutaz","year":"1987","journal-title":"SIGCHI Bull."},{"key":"2021070808100635600_ref28","article-title":"Software architecture modeling for user interfaces","volume-title":"Encyclopedia of Software Engineering","author":"Coutaz","year":"1993"},{"key":"2021070808100635600_ref29","first-page":"109","article-title":"MIODMIT: A generic architecture for dynamic multimodal interactive systems","volume-title":"7th IFIP WG13.2 int. working conf. human-centered software engineering, HCSE 2018","author":"Cronel","year":"2018"},{"key":"2021070808100635600_ref30","volume-title":"Amendment 17\u2014Certification Specifications and Acceptable Means of Compliance for Large Aeroplanes","author":"CS-25","year":"2015"},{"key":"2021070808100635600_ref31","article-title":"Human\u2013computer interaction and the formal certification and assurance of medical devices: The CHI+MED project","volume-title":"2nd Workshop on verification and assurance (Verisure2014), in association with computer-aided verification (CAV), part of the Vienna summer of logic","author":"Curzon","year":"2014"},{"key":"2021070808100635600_ref32","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-7091-3693-5_16","article-title":"Using model checking for the automatic validation of user interfaces systems","volume-title":"Design, specification and verification of interactive systems \u201898","author":"d\u2019Ausbourg","year":"1998"},{"key":"2021070808100635600_ref33","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-7091-7491-3_6","article-title":"Deriving a formal model of an interactive system from its UIL description in order to verify and to test its behaviour","volume-title":"Proc. Eurographics workshop DSV-IS\u201996","author":"d\u2019Ausbourg","year":"1996"},{"key":"2021070808100635600_ref34","first-page":"219","article-title":"Helping the automated validation process of user interfaces systems","volume-title":"ICSE","author":"d\u2019Ausbourg","year":"1998"},{"key":"2021070808100635600_ref35","volume-title":"DO178C, \u201cSoftware Considerations in Airborne Systems and Equipment Certification\u201d","author":"DO178C","year":"2012"},{"key":"2021070808100635600_ref36","article-title":"An automatic code generation tool from Event-B","author":"EB2ALL","year":"2011"},{"key":"2021070808100635600_ref37","volume-title":"Formal Description Technique Lotos: Results of the Esprit Sedos Project","author":"Eijk","year":"1989"},{"key":"2021070808100635600_ref38","article-title":"ECSS-Q-HB-30-03A human dependability handbook","author":"ESA","year":"2015"},{"key":"2021070808100635600_ref39","first-page":"1","article-title":"Formal development process of safety-critical embedded human machine interface systems","volume-title":"11th Int. symposium on Theoretical Aspects of Software Engineering, TASE 2017","author":"Ge","year":"2017"},{"key":"2021070808100635600_ref40","first-page":"240","article-title":"Refinement based formal development of human\u2013machine interface","volume-title":"Software technologies: Applications and foundations\u2014STAF 2018 collocated workshops","author":"Geniet","year":"2018"},{"key":"2021070808100635600_ref41","doi-asserted-by":"crossref","DOI":"10.1002\/spip.174","article-title":"The usability design process\u2014Integrating user-centered systems design in the software development process","volume":"8","author":"G\u00f6ransson","year":"2003","journal-title":"Softw. Process"},{"key":"2021070808100635600_ref42","first-page":"172","article-title":"Integrating support for temporal media into an architecture for graphical user interfaces","volume-title":"Proc. 19th int. conf. software engineering, ICSE \u201897","author":"Graham","year":"1997"},{"key":"2021070808100635600_ref43","doi-asserted-by":"crossref","first-page":"309","DOI":"10.1145\/331490.332826","article-title":"Introduction to the special issue on interface issues and designs for safety-critical interactive systems: When there is no room for user error","volume":"6","author":"Gray","year":"1999","journal-title":"ACM Trans. Comput.-Hum. Interact."},{"key":"2021070808100635600_ref44","doi-asserted-by":"crossref","first-page":"1305","DOI":"10.1109\/5.97300","article-title":"The synchronous dataflow programming language LUSTRE","volume":"79","author":"Halbwachs","year":"1991","journal-title":"Proc. IEEE"},{"key":"2021070808100635600_ref45","volume-title":"Formal Methods in Human\u2013Computer Interaction","author":"Harrison","year":"1990"},{"key":"2021070808100635600_ref46","article-title":"Demonstrating that medical devices satisfy user related safety requirements","volume-title":"4th Int. symposium on Foundations of Healthcare Information Engineering and Systems (FHIES 2014)","author":"Harrison","year":"2014"},{"key":"2021070808100635600_ref47","doi-asserted-by":"crossref","first-page":"834","DOI":"10.1109\/THMS.2017.2717910","article-title":"Verification of user interface software: The example of use-related safety requirements and programmable medical devices","volume":"47","author":"Harrison","year":"2017","journal-title":"IEEE Trans. Hum.-Mach. Syst."},{"key":"2021070808100635600_ref48","doi-asserted-by":"crossref","first-page":"112","DOI":"10.1145\/97924.97938","article-title":"Integrating gesture and snapping into a user interface toolkit","volume-title":"Proc. 3rd annual ACM SIGGRAPH symposium on User Interface Software and Technology, UIST \u201890","author":"Henry","year":"1990"},{"key":"2021070808100635600_ref49","first-page":"335","article-title":"The abstraction-link-view paradigm: Using constraints to connect user interfaces to applications","volume-title":"Conf. human factors in computing systems, CHI 1992","author":"Hill","year":"1992"},{"key":"2021070808100635600_ref50","first-page":"51","article-title":"From formal specifications to secure implementations","volume-title":"Proc. fourth int. conf. computer-aided design of user interfaces III","author":"Jambon","year":"2002"},{"key":"2021070808100635600_ref51","volume-title":"Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use","author":"Jensen","year":"1995"},{"key":"2021070808100635600_ref52","first-page":"26","article-title":"A cookbook for using the model-view controller user interface paradigm in smalltalk-80","volume":"1","author":"Krasner","year":"1988","journal-title":"J. Object Oriented Program."},{"key":"2021070808100635600_ref53","article-title":"A formal language for designing, specifying and verifying critical embedded human machine interfaces","author":"Lecrubier","year":"2016"},{"key":"2021070808100635600_ref54","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-540-45236-2_46","article-title":"ProB: A model checker for B","author":"Leuschel","year":"2003"},{"key":"2021070808100635600_ref55","article-title":"Thing-model-view-editor\u2014An example from a planning system","author":"Reenskaug","year":"1979"},{"key":"2021070808100635600_ref56","doi-asserted-by":"crossref","first-page":"12:1","DOI":"10.1145\/3229094","article-title":"Djnn\/Smala: A conceptual framework and a language for interaction-oriented programming","volume":"2","author":"Magnaudet","year":"2018","journal-title":"Proc. ACM Hum.-Comput. Interact."},{"key":"2021070808100635600_ref57","first-page":"104","article-title":"Requirements engineering by example: An empirical study","volume-title":"Proc. IEEE int. symposium on Requirements Engineering, RE 1993","author":"Maiden","year":"1993"},{"key":"2021070808100635600_ref58","first-page":"72","article-title":"A development process for usable large scale interactive critical systems: Application to satellite ground segments","volume-title":"4th Int. conf. human-centered software engineering, HCSE 2012","author":"Martinie","year":"2012"},{"key":"2021070808100635600_ref59","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1007\/s00165-011-0188-1","article-title":"Scalable context-dependent analysis of emergency egress models","volume":"24","author":"Massink","year":"2012","journal-title":"Formal Asp. Comput."},{"key":"2021070808100635600_ref60","volume-title":"Life Cycle Support in the Ada Environment","author":"McDermid","year":"1984"},{"key":"2021070808100635600_ref61","first-page":"139","article-title":"An integrated framework for the formal analysis of critical interactive systems","volume-title":"27th Asia-Pacific software engineering conf., APSEC 2020","author":"Mendil","year":"2020"},{"key":"2021070808100635600_ref63","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1145\/2069216.2069252","article-title":"Automatic code generation from Event-B models","volume-title":"Proc. second symposium on Information and Communication Technology, SoICT \u201811","author":"M\u00e9ry","year":"2011"},{"key":"2021070808100635600_ref64","article-title":"Formal modelling and verification of multimodal human computer interfaces: Output multimodality","author":"Oussa\u00efd","year":"2014"},{"key":"2021070808100635600_ref65","doi-asserted-by":"crossref","DOI":"10.21236\/ADA268843","article-title":"Why are human-computer interfaces difficult to design and implement?","author":"Myers","year":"1993"},{"key":"2021070808100635600_ref66","first-page":"155","article-title":"The future of design specification and verification of safety critical interactive systems: Can our systems be sure (safe, usable, reliable and evolvable)?","volume-title":"Proc. 1st ACM SIGCHI symposium on Engineering Interactive Computing System, EICS 2009","author":"Navarre","year":"2009"},{"key":"2021070808100635600_ref67","first-page":"97","article-title":"Structuring interactive systems specifications for executability and prototypability","volume-title":"7th Int. workshop interactive systems: Design, specification, and verification, DSV-IS","author":"Navarre","year":"2000"},{"key":"2021070808100635600_ref68","doi-asserted-by":"crossref","first-page":"88","DOI":"10.1007\/3-540-45522-1_6","article-title":"A tool suite for integrating task and system models through scenarios","volume-title":"8th Int. workshop on interactive systems: Design, specification, and verification (DSV-IS)","author":"Navarre","year":"2001"},{"key":"2021070808100635600_ref69","first-page":"189","volume-title":"Validating Interactive System Design through the Verification of Formal Task and System Models","author":"Palanque","year":"1996"},{"key":"2021070808100635600_ref70","volume-title":"Formal Methods in Human\u2013Computer Interaction","author":"Palanque","year":"1997"},{"key":"2021070808100635600_ref71","first-page":"383","article-title":"Petri net based design of user-driven interfaces using the interactive cooperative objects formalism","volume-title":"Proc. first int. Eurographics workshop on design, specification and verification of interactive systems","author":"Palanque","year":"1994"},{"key":"2021070808100635600_ref72","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1007\/978-1-5041-2896-4_32","article-title":"Verification of an interactive software by analysis of its formal specification","volume-title":"Int. conf. human\u2013computer interaction, INTERACT \u201895","author":"Palanque","year":"1995"},{"key":"2021070808100635600_ref73","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-70041-5","volume-title":"User interface management systems: Proc. workshop on user interface management systems","author":"Pfaff","year":"1985"},{"key":"2021070808100635600_ref74","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1145\/345513.345301","article-title":"Generating user interface code in a model based user interface development environment","volume-title":"Proc. working conf. advanced visual interfaces, AVI \u201800","author":"Pinheiro da Silva","year":"2000"},{"key":"2021070808100635600_ref75","doi-asserted-by":"crossref","DOI":"10.1109\/SEKE.1992.227899","article-title":"An iterative-cyclic software process model","volume-title":"Proc. fourth int. conf. software engineering and knowledge engineering","author":"Rauterberg","year":"1992"},{"key":"2021070808100635600_ref76","first-page":"1","article-title":"Managing the development of large software systems","volume-title":"Proc. IEEE WESCON","author":"Royce","year":"1970"},{"key":"2021070808100635600_ref77","volume-title":"Designing the User Interface\u2014Strategies for Effective Human-Computer Interaction","author":"Shneiderman","year":"2016"},{"key":"2021070808100635600_ref78","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4471-5260-6","volume-title":"Using Event-B for Critical Device Software Systems","author":"Singh","year":"2013"},{"key":"2021070808100635600_ref79","first-page":"136","article-title":"Formal ontology driven model refactoring","volume-title":"23rd Int. conf. engineering of complex computer systems, ICECCS 2018","author":"Singh","year":"2018"},{"key":"2021070808100635600_ref80","first-page":"21","article-title":"Formal development of multi-purpose interactive application (MPIA) for ARINC 661","volume-title":"7th Int. workshop on formal techniques for safety-critical systems, FTSCS 2019","author":"Singh","year":"2019"},{"key":"2021070808100635600_ref81","first-page":"43","article-title":"Stepwise formal modeling and verification of self-adaptive systems with Event-B: The automatic rover protection case study","volume-title":"21st Int. conf. engineering of complex computer systems, ICECCS 2016","author":"Singh","year":"2016"},{"key":"2021070808100635600_ref82","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1007\/s10009-015-0400-3","article-title":"Aircraft landing gear system: Approaches with Event-B to the modeling of an industrial system","volume":"19","author":"Su","year":"2017","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"2021070808100635600_ref83","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/s00766-018-0301-6","article-title":"Known and unknown requirements in healthcare","volume":"25","author":"Sutcliffe","year":"2020","journal-title":"Requir. Eng."},{"key":"2021070808100635600_ref84","first-page":"295","article-title":"A component- and message-based architectural style for GUI software","volume-title":"Proc. 17th int. conf. software engineering, ICSE \u201895","author":"Taylor","year":"1995"},{"key":"2021070808100635600_ref85","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1145\/253671.253708","article-title":"Post-wimp user interfaces","volume":"40","author":"van Dam","year":"1997","journal-title":"Commun. ACM"},{"key":"2021070808100635600_ref86","first-page":"161","article-title":"Automated analysis of requirement specifications","volume-title":"Proc. 19th int. conf. software engineering, ICSE \u201897","author":"Wilson","year":"1997"}],"container-title":["Interacting with Computers"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/iwc\/article-pdf\/33\/1\/92\/38495927\/iwab016.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"http:\/\/academic.oup.com\/iwc\/article-pdf\/33\/1\/92\/38495927\/iwab016.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,8]],"date-time":"2021-07-08T16:43:47Z","timestamp":1625762627000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/iwc\/article\/33\/1\/92\/6272092"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,1]]},"references-count":85,"journal-issue":{"issue":"1","published-online":{"date-parts":[[2021,5,10]]},"published-print":{"date-parts":[[2021,1,12]]}},"URL":"https:\/\/doi.org\/10.1093\/iwcomp\/iwab016","relation":{},"ISSN":["0953-5438","1873-7951"],"issn-type":[{"value":"0953-5438","type":"print"},{"value":"1873-7951","type":"electronic"}],"subject":[],"published-other":{"date-parts":[[2021,1]]},"published":{"date-parts":[[2021,1]]}}}