{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,7]],"date-time":"2025-04-07T15:25:02Z","timestamp":1744039502313},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642331756"},{"type":"electronic","value":"9783642331763"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-33176-3_11","type":"book-chapter","created":{"date-parts":[[2012,9,12]],"date-time":"2012-09-12T04:53:23Z","timestamp":1347425603000},"page":"150-164","source":"Crossref","is-referenced-by-count":6,"title":["Supporting Field Investigators with PVS: A Case Study in the Healthcare Domain"],"prefix":"10.1007","author":[{"given":"Paolo","family":"Masci","sequence":"first","affiliation":[]},{"given":"Dominic","family":"Furniss","sequence":"additional","affiliation":[]},{"given":"Paul","family":"Curzon","sequence":"additional","affiliation":[]},{"given":"Michael D.","family":"Harrison","sequence":"additional","affiliation":[]},{"given":"Ann","family":"Blandford","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"11_CR1","unstructured":"PVS models of field study at oncology ward (June 2012), PVS models http:\/\/tinyurl.com\/PVS-bloodglucosestudy"},{"key":"11_CR2","doi-asserted-by":"crossref","unstructured":"Blandford, A., Cauchi, A., Curzon, P., Eslambolchilar, P., Furniss, D., Gimblett, A., Huang, H., Lee, P., Li, Y., Masci, P., Oladimeji, P., Rajkomar, A., Ruk\u0161\u0117nas, R., Thimbleby, H.: Comparing actual practice and user manuals: A case study based on programmable infusion pumps. In: Eics4Med, the 1st Intl. Workshop on Engineering Interactive Computing Systems for Medicine and Health Care, pp. 59\u201364. ACM Digital Library (2011)","DOI":"10.1145\/1996461.1996556"},{"key":"11_CR3","doi-asserted-by":"crossref","unstructured":"Blandford, A., Furniss, D.: DiCoT: A Methodology for Applying Distributed Cognition to the Design of Teamworking Systems. Interactive Systems, 26\u201338 (2006)","DOI":"10.1007\/11752707_3"},{"key":"11_CR4","unstructured":"Fields, R.: Analysis of Erroneous Actions in the Design of Critical Systems. PhD thesis, University of York (2001)"},{"key":"11_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1007\/978-3-642-25364-5_10","volume-title":"Information Quality in e-Health","author":"P. Masci","year":"2011","unstructured":"Masci, P., Curzon, P.: Checking User-Centred Design Principles in Distributed Cognition Models: A Case Study in the Healthcare Domain. In: Holzinger, A., Simonic, K.-M. (eds.) USAB 2011. LNCS, vol.\u00a07058, pp. 95\u2013108. Springer, Heidelberg (2011)"},{"key":"11_CR6","unstructured":"Masci, P., Curzon, P., Blandford, A., Furniss, D.: Modelling distributed cognition systems in PVS. ECEASST\u00a045 (2011)"},{"key":"11_CR7","doi-asserted-by":"crossref","unstructured":"Masci, P., Curzon, P., Furniss, D., Blandford, A.: Using PVS to support the analysis of distributed cognition systems. Submitted for publication to Innovations in Systems and Software Engineering (2012)","DOI":"10.1007\/s11334-013-0202-2"},{"key":"11_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1007\/978-3-642-28891-3_27","volume-title":"NASA Formal Methods","author":"P. Masci","year":"2012","unstructured":"Masci, P., Huang, H., Curzon, P., Harrison, M.D.: Using PVS to Investigate Incidents through the Lens of Distributed Cognition. In: Goodloe, A.E., Person, S. (eds.) NFM 2012. LNCS, vol.\u00a07226, pp. 273\u2013278. Springer, Heidelberg (2012)"},{"key":"11_CR9","unstructured":"Roche. Accu-Chek Inform II System, Professional glucose testing for the wireless age (August 2010)"},{"key":"11_CR10","unstructured":"Roche. Accu-Chek Inform System. Operator\u2019s manual (November 2010)"},{"issue":"6","key":"11_CR11","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1007\/s00165-008-0102-7","volume":"21","author":"R. Ruk\u0161\u0117nas","year":"2009","unstructured":"Ruk\u0161\u0117nas, R., Back, J., Curzon, P., Blandford, A.: Verification-guided modelling of salience and cognitive load. Formal Aspects of Computing\u00a021(6), 541\u2013569 (2009)","journal-title":"Formal Aspects of Computing"},{"key":"11_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/978-3-540-44616-3_3","volume-title":"Recent Trends in Algebraic Development Techniques","author":"N. Shankar","year":"2000","unstructured":"Shankar, N., Owre, S.: Principles and Pragmatics of Subtyping in PVS. In: Bert, D., Choppy, C., Mosses, P.D. (eds.) WADT 1999. LNCS, vol.\u00a01827, pp. 37\u201352. Springer, Heidelberg (2000)"},{"key":"11_CR13","unstructured":"NHS Trust. Accu-Chek Inform II Blood Glucose Meter Standard Operating Procedure (August 2011)"},{"key":"11_CR14","doi-asserted-by":"crossref","unstructured":"Westbrook, J.I., Ampt, A.: Design, application and testing of the Work Observation Method by Activity Timing (WOMBAT) to measure clinicians\u2019 patterns of work and communication. International Journal of Medical Informatics\u00a078 (2009)","DOI":"10.1016\/j.ijmedinf.2008.09.003"},{"key":"11_CR15","first-page":"283","volume-title":"Formal Methods in Human-Computer Interaction","author":"P.C. Wright","year":"1997","unstructured":"Wright, P.C., Fields, R., Merriam, N.A.: From formal models to empirical evaluation and back again. In: Formal Methods in Human-Computer Interaction, ch. 13, pp. 283\u2013314. Springer, Berlin (1997)"}],"container-title":["Lecture Notes in Computer Science","Software Engineering for Resilient Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-33176-3_11.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,23]],"date-time":"2020-11-23T22:11:28Z","timestamp":1606169488000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-33176-3_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642331756","9783642331763"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-33176-3_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}