{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T19:05:48Z","timestamp":1730315148659,"version":"3.28.0"},"publisher-location":"New York, NY, USA","reference-count":7,"publisher":"ACM","funder":[{"DOI":"10.13039\/501100000266","name":"Engineering and Physical Sciences Research Council","doi-asserted-by":"publisher","award":["EP\/G059063\/1"],"id":[{"id":"10.13039\/501100000266","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2011,5,11]]},"DOI":"10.1145\/1978582.1978606","type":"proceedings-article","created":{"date-parts":[[2011,5,17]],"date-time":"2011-05-17T12:59:14Z","timestamp":1305637154000},"page":"109-110","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Towards a formal framework for reasoning about the resilience of dynamic interactive systems"],"prefix":"10.1145","author":[{"given":"Paolo","family":"Masci","sequence":"first","affiliation":[{"name":"Queen Mary University of London"}]},{"given":"Paul","family":"Curzon","sequence":"additional","affiliation":[{"name":"Queen Mary University of London"}]},{"given":"Huayi","family":"Huang","sequence":"additional","affiliation":[{"name":"Queen Mary University of London"}]},{"given":"Rimvydas","family":"Ruk\u0161\u0117nas","sequence":"additional","affiliation":[{"name":"Queen Mary University of London"}]},{"given":"Ann","family":"Blandford","sequence":"additional","affiliation":[{"name":"University College, London"}]},{"given":"Dominic","family":"Furniss","sequence":"additional","affiliation":[{"name":"University College, London"}]},{"given":"Atish","family":"Rajkomar","sequence":"additional","affiliation":[{"name":"University College, London"}]}],"member":"320","published-online":{"date-parts":[[2011,5,11]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Workshop on Interactive Systems in Healthcare","author":"Blandford A.","year":"2010","unstructured":"A. Blandford , G. Buchanan , P. Curzon , D. Furniss , and H. Thimbleby . Who's looking? Invisible problems with interactive medical devices . In Workshop on Interactive Systems in Healthcare , 2010 . http:\/\/www.chi-med.ac.uk\/. A. Blandford, G. Buchanan, P. Curzon, D. Furniss, and H. Thimbleby. Who's looking? Invisible problems with interactive medical devices. In Workshop on Interactive Systems in Healthcare, 2010. http:\/\/www.chi-med.ac.uk\/."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/11752707_3"},{"key":"e_1_3_2_1_3_1","first-page":"36","volume-title":"Empirical Studies of Programmers: Fourth Workshop","author":"Flor N. V.","year":"1991","unstructured":"N. V. Flor and E. L. Hutchins . Analyzing distributed cognition in software teams: a case study of team programming during perfective software maintenance . In Empirical Studies of Programmers: Fourth Workshop , pages 36 -- 64 , 1991 . N. V. Flor and E. L. Hutchins. Analyzing distributed cognition in software teams: a case study of team programming during perfective software maintenance. In Empirical Studies of Programmers: Fourth Workshop, pages 36--64, 1991."},{"issue":"1","key":"e_1_3_2_1_4_1","first-page":"210","article-title":"The effects of semantic consistency on eye movements during complex scene viewing","volume":"25","author":"Henderson J. M.","year":"1999","unstructured":"J. M. Henderson , P. A. Weeks , and A. Hollingworth . The effects of semantic consistency on eye movements during complex scene viewing . Journal of Experimental Psychology , 25 ( 1 ): 210 -- 228 , 1999 . J. M. Henderson, P. A. Weeks, and A. Hollingworth. The effects of semantic consistency on eye movements during complex scene viewing. Journal of Experimental Psychology, 25(1):210--228, 1999.","journal-title":"Journal of Experimental Psychology"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISADS.2011.23"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-008-0102-7"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2008.03.001"}],"event":{"name":"EWDC '11: 13th European Workshop on Dependable Computing","acronym":"EWDC '11","location":"Pisa Italy"},"container-title":["Proceedings of the 13th European Workshop on Dependable Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1978582.1978606","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,14]],"date-time":"2023-01-14T02:10:10Z","timestamp":1673662210000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1978582.1978606"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,5,11]]},"references-count":7,"alternative-id":["10.1145\/1978582.1978606","10.1145\/1978582"],"URL":"https:\/\/doi.org\/10.1145\/1978582.1978606","relation":{},"subject":[],"published":{"date-parts":[[2011,5,11]]},"assertion":[{"value":"2011-05-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}