{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,19]],"date-time":"2026-03-19T11:57:49Z","timestamp":1773921469299,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":20,"publisher":"ACM","license":[{"start":{"date-parts":[[2016,6,21]],"date-time":"2016-06-21T00:00:00Z","timestamp":1466467200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"EPSRC","award":["EP\/G059063\/1"],"award-info":[{"award-number":["EP\/G059063\/1"]}]},{"name":"FCT\/ERDF","award":["NORTE-07-0124-FEDER-000062"],"award-info":[{"award-number":["NORTE-07-0124-FEDER-000062"]}]},{"DOI":"10.13039\/501100000266","name":"Engineering and Physical Sciences Research Council","doi-asserted-by":"publisher","award":["EP\/G059063\/1"],"award-info":[{"award-number":["EP\/G059063\/1"]}],"id":[{"id":"10.13039\/501100000266","id-type":"DOI","asserted-by":"publisher"}]},{"name":"FCT, ERDF","award":["NORTE-07-0124-FEDER-000062"],"award-info":[{"award-number":["NORTE-07-0124-FEDER-000062"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2016,6,21]]},"DOI":"10.1145\/2933242.2933250","type":"proceedings-article","created":{"date-parts":[[2016,6,14]],"date-time":"2016-06-14T12:37:15Z","timestamp":1465907835000},"page":"194-203","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":8,"title":["Modelling information resources and their salience in medical device design"],"prefix":"10.1145","author":[{"given":"Michael D.","family":"Harrison","sequence":"first","affiliation":[{"name":"Newcastle University, Newcastle upon Tyne, UK"}]},{"given":"Jos\u00e9 C.","family":"Campos","sequence":"additional","affiliation":[{"name":"Universidade do Minho, Braga, Portugal"}]},{"given":"Rimvydas","family":"Ruk\u0161\u0117nas","sequence":"additional","affiliation":[{"name":"Queen Mary University of London, London, UK"}]},{"given":"Paul","family":"Curzon","sequence":"additional","affiliation":[{"name":"Queen Mary University of London, London, UK"}]}],"member":"320","published-online":{"date-parts":[[2016,6,21]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"1","article-title":"Memory for goals: an activation-based model","volume":"26","author":"Altmann E.","year":"2002","unstructured":"Altmann , E. , and Trafton , J . Memory for goals: an activation-based model . Cognitive Science 26 , 1 ( 2002 ), 39--83. Altmann, E., and Trafton, J. Memory for goals: an activation-based model. Cognitive Science 26, 1 (2002), 39--83.","journal-title":"Cognitive Science"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/2207676.2208289"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ijhcs.2012.05.010"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ijhcs.2013.10.005"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1570433.1570442"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/642611.642699"},{"key":"e_1_3_2_1_7_1","volume-title":"ITC-IRST","author":"Cimatti A.","year":"2007","unstructured":"Cimatti , A. , Roveri , M. , Olivetti , E. , Keighren , G. , Pistore , M. , Roveri , M. , Semprini , S. , and Tchaltsev , A . NuSMV 2.3 user manual. Tech. rep ., ITC-IRST , Trento, Italy , 2007 . Cimatti, A., Roveri, M., Olivetti, E., Keighren, G., Pistore, M., Roveri, M., Semprini, S., and Tchaltsev, A. NuSMV 2.3 user manual. Tech. rep., ITC-IRST, Trento, Italy, 2007."},{"key":"e_1_3_2_1_8_1","volume-title":"Cognition in the Wild","author":"Hutchins E.","year":"1994","unstructured":"Hutchins , E. Cognition in the Wild . MIT Press , 1994 . Hutchins, E. Cognition in the Wild. MIT Press, 1994."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/985692.985750"},{"key":"e_1_3_2_1_10_1","volume-title":"5th Workshop on Medical Cyber-Physical Systems, V. Turau, M. Kwiatkowska, R. Mangharam, and C. Weyer, Eds.","volume":"36","author":"Masci P.","year":"2014","unstructured":"Masci , P. , Zhang , Y. , Jones , P. , Thimbleby , H. , and Curzon , P . A Generic User Interface Architecture for Analyzing Use Hazards in Infusion Pump Software . In 5th Workshop on Medical Cyber-Physical Systems, V. Turau, M. Kwiatkowska, R. Mangharam, and C. Weyer, Eds. , vol. 36 of OpenAccess Series in Informatics (OASIcs), Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik (Dagstuhl, Germany , 2014 ), 1--14. Masci, P., Zhang, Y., Jones, P., Thimbleby, H., and Curzon, P. A Generic User Interface Architecture for Analyzing Use Hazards in Infusion Pump Software. In 5th Workshop on Medical Cyber-Physical Systems, V. Turau, M. Kwiatkowska, R. Mangharam, and C. Weyer, Eds., vol. 36 of OpenAccess Series in Informatics (OASIcs), Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik (Dagstuhl, Germany, 2014), 1--14."},{"key":"e_1_3_2_1_11_1","volume-title":"User-centred requirements for software engineering","author":"Monk A.","year":"1991","unstructured":"Monk , A. , Curry , M. , and Wright , P . Why industry doesn't use the wonderful notations we researchers have given them to reason about their designs . In User-centred requirements for software engineering , D. Gilmore, R. Winder, and F. Detienne, Eds. Springer , 1991 , 185--189. Monk, A., Curry, M., and Wright, P. Why industry doesn't use the wonderful notations we researchers have given them to reason about their designs. In User-centred requirements for software engineering, D. Gilmore, R. Winder, and F. Detienne, Eds. Springer, 1991, 185--189."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2002.1027801"},{"key":"e_1_3_2_1_13_1","volume-title":"John Wiley & Sons","author":"Nielsen J.","year":"1994","unstructured":"Nielsen , J. Heuristic Evaluation . In Usability Inspection Methods, J. Nielsen and R. Mack, Eds. John Wiley & Sons , Inc ., 1994 , ch. 2. Nielsen, J. Heuristic Evaluation. In Usability Inspection Methods, J. Nielsen and R. Mack, Eds. John Wiley & Sons, Inc., 1994, ch. 2."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/0020-7373(92)90039-N"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.conengprac.2004.03.007"},{"key":"e_1_3_2_1_16_1","volume-title":"Combining human error verification and timing analysis: a case study on an infusion pump. Formal Aspects of Computing","author":"Ruk\u0161\u0117nas R.","year":"2013","unstructured":"Ruk\u0161\u0117nas , R. , Curzon , P. , Blandford , A. , and Back , J . Combining human error verification and timing analysis: a case study on an infusion pump. Formal Aspects of Computing ( 2013 ), 1--44. Ruk\u0161\u0117nas, R., Curzon, P., Blandford, A., and Back, J. Combining human error verification and timing analysis: a case study on an infusion pump. Formal Aspects of Computing (2013), 1--44."},{"key":"e_1_3_2_1_17_1","series-title":"Springer Lecture Notes in Computer Science","volume-title":"Integrating formal predictions of interactive system behaviour with user evaluation","author":"Ruk\u0161\u0117nas R.","year":"2013","unstructured":"Ruk\u0161\u0117nas , R. , Curzon , P. , and Harrison , M. D . Integrating formal predictions of interactive system behaviour with user evaluation . In Integrated Formal Methods, E. Johnsen and L. Petre, Eds., vol. 7940 of Springer Lecture Notes in Computer Science , Springer-Verlag ( 2013 ), 238--252. Ruk\u0161\u0117nas, R., Curzon, P., and Harrison, M. D. Integrating formal predictions of interactive system behaviour with user evaluation. In Integrated Formal Methods, E. Johnsen and L. Petre, Eds., vol. 7940 of Springer Lecture Notes in Computer Science, Springer-Verlag (2013), 238--252."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.5555\/38407"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/2207676.2208414"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1207\/S15327051HCI1501_01"}],"event":{"name":"EICS'16: ACM SIGCHI Symposium on Engineering Interactive Computing Systems","location":"Brussels Belgium","acronym":"EICS'16","sponsor":["iMinds iMinds","UHasselt Hasselt University","ACM Association for Computing Machinery","SIGCHI ACM Special Interest Group on Computer-Human Interaction","EDM Expertise Center for Digital Media"]},"container-title":["Proceedings of the 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2933242.2933250","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2933242.2933250","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:54:52Z","timestamp":1750222492000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2933242.2933250"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,6,21]]},"references-count":20,"alternative-id":["10.1145\/2933242.2933250","10.1145\/2933242"],"URL":"https:\/\/doi.org\/10.1145\/2933242.2933250","relation":{},"subject":[],"published":{"date-parts":[[2016,6,21]]},"assertion":[{"value":"2016-06-21","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}