{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,7,10]],"date-time":"2024-07-10T15:22:29Z","timestamp":1720624949842},"reference-count":19,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2001,5,1]],"date-time":"2001-05-01T00:00:00Z","timestamp":988675200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,29]],"date-time":"2013-07-29T00:00:00Z","timestamp":1375056000000},"content-version":"vor","delay-in-days":4472,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/3.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electronic Notes in Theoretical Computer Science"],"published-print":{"date-parts":[[2001,5]]},"DOI":"10.1016\/s1571-0661(04)80896-x","type":"journal-article","created":{"date-parts":[[2004,9,29]],"date-time":"2004-09-29T16:47:47Z","timestamp":1096476467000},"page":"97-112","source":"Crossref","is-referenced-by-count":2,"special_numbering":"C","title":["Towards Integrated Cognitive and Interface Analysis"],"prefix":"10.1016","volume":"43","author":[{"given":"Howard","family":"Bowman","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Giorgio","family":"Faconti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mieke","family":"Massink","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S1571-0661(04)80896-X_NEWBIB1","series-title":"Models of Working Memory","article-title":"Interactive cognitive subsystems: Modelling working memory phenomena with a multi-processor architecture","author":"Barnard","year":"1998"},{"issue":"1\/2","key":"10.1016\/S1571-0661(04)80896-X_NEWBIB2","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1080\/07370024.1999.9667267","article-title":"Representing cognitive activity in complex tasks","volume":"14","author":"Barnard","year":"1999","journal-title":"Human-Computer Interaction"},{"key":"10.1016\/S1571-0661(04)80896-X_NEWBIB3","doi-asserted-by":"crossref","unstructured":"Johan Bengtsson, Kim G. Larsen, Fredrik Larsson, and Paul Petters son amd Wang Yi. Uppaal - a tool suite for automatic verification of real-time system. In Proceedings of the 4th DIMACS Workshop on Verification and Control of Hybrid Systems, 1995.","DOI":"10.1007\/BFb0020949"},{"issue":"1","key":"10.1016\/S1571-0661(04)80896-X_NEWBIB4","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1016\/0169-7552(87)90085-7","volume":"14","author":"Bolognesi","year":"1988","journal-title":"Introduction to the ISO Specification Language LOTOS. Comp. Networks and ISDN Systems"},{"key":"10.1016\/S1571-0661(04)80896-X_NEWBIB5","unstructured":"H. Bowman. An interpretation of cognitive theory in concurreny theory (long version). Technical Report 8\u201398, Computing Laboratory, University of Kent at Canterbury, 1998. http:\/\/www.cs.ukc.ac.uk\/pubs\/1998\/646\/index.local."},{"key":"10.1016\/S1571-0661(04)80896-X_NEWBIB6","unstructured":"H. Bowman, H. Cameron, P. King, and S. Thompson. Specification and Prototyping of Structured Multimedia Documents using Interval Temporal Logic. In Int. Conf. on Temporal Logic, Applied Logic Series. Kluwer, July 1997."},{"key":"10.1016\/S1571-0661(04)80896-X_NEWBIB7","doi-asserted-by":"crossref","first-page":"132","DOI":"10.1007\/s001650050045","article-title":"Analysing cognitive behaviour using lotos and mexitl","volume":"11","author":"Bowman","year":"1999","journal-title":"Formal Aspects of Computing"},{"key":"10.1016\/S1571-0661(04)80896-X_NEWBIB8","unstructured":"D. Duke, G. Faconti, and M. Massink. Synchronisation and delay in a formal model of user cognition. In S. Constantine, editor, Proceedings of the ERCIM Workshop on User Interfaces for All, Prague, 1996. http:\/\/www.ics.forth.gr\/ercim-wg-ui4all\/UI4ALL-96\/proceedings.html."},{"issue":"4","key":"10.1016\/S1571-0661(04)80896-X_NEWBIB9","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1207\/s15327051hci1304_1","article-title":"Syndetic modelling","volume":"13","author":"Duke","year":"1998","journal-title":"Human Computer Interaction"},{"key":"10.1016\/S1571-0661(04)80896-X_NEWBIB10","doi-asserted-by":"crossref","unstructured":"D.J. Duke, P.J. Barnard, J. May, and D.A. Duce. Systematic development of the human interface. In APSEC'95, Second Asia Pacific Software Engineering Conference, Brisbane. IEEE Computer Society Press, December 1995.","DOI":"10.1109\/APSEC.1995.496980"},{"key":"10.1016\/S1571-0661(04)80896-X_NEWBIB11","series-title":"In Focus on Computer Graphics Series","article-title":"Visual representation of formal specification: an application to hierarchical logical input devices","author":"Faconti","year":"1994"},{"key":"10.1016\/S1571-0661(04)80896-X_NEWBIB12","series-title":"In Eurographics '90","article-title":"An approach to the formal specification of the components of an interaction","author":"Faconti","year":"1990"},{"key":"10.1016\/S1571-0661(04)80896-X_NEWBIB13","unstructured":"FM-Elsewhere. Web page on Formal Methods Elsewhere, 2000. http:\/\/www.cs.ukc.ac.uk\/people\/staff\/hb5\/Elsewhere."},{"key":"10.1016\/S1571-0661(04)80896-X_NEWBIB14","series-title":"Communicating Sequential Processes","author":"Hoare","year":"1985"},{"key":"10.1016\/S1571-0661(04)80896-X_NEWBIB15","article-title":"Computer Graphics Reference Model","author":"ISO\/IEC","year":"1992","journal-title":"International Standards Organization"},{"key":"10.1016\/S1571-0661(04)80896-X_NEWBIB16","unstructured":"LOTOSPHERE. LOTOS Integrated Tool Environment. LOTOSPHERE Project, 1988. http:\/\/wwwtios.cs.utwente.nl\/lotos\/lite\/."},{"key":"10.1016\/S1571-0661(04)80896-X_NEWBIB17","series-title":"Communication and Concurrency","author":"Milner","year":"1989"},{"key":"10.1016\/S1571-0661(04)80896-X_NEWBIB18","doi-asserted-by":"crossref","unstructured":"L. Nigay and J. Coutaz. A generic platform for addressing the multimodal challenge. In Proceedings of ACM CHI'95, pages 98\u2013105. ACM Press, 1995.","DOI":"10.1145\/223904.223917"},{"key":"10.1016\/S1571-0661(04)80896-X_NEWBIB19","series-title":"Petri Nets, An Introduction","author":"Reisig","year":"1982"}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S157106610480896X?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S157106610480896X?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,4,3]],"date-time":"2020-04-03T07:10:20Z","timestamp":1585897820000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S157106610480896X"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,5]]},"references-count":19,"alternative-id":["S157106610480896X"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(04)80896-x","relation":{},"ISSN":["1571-0661"],"issn-type":[{"value":"1571-0661","type":"print"}],"subject":[],"published":{"date-parts":[[2001,5]]}}}