{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,19]],"date-time":"2026-03-19T03:45:07Z","timestamp":1773891907024,"version":"3.50.1"},"publisher-location":"Cham","reference-count":14,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030983871","type":"print"},{"value":"9783030983888","type":"electronic"}],"license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022]]},"DOI":"10.1007\/978-3-030-98388-8_28","type":"book-chapter","created":{"date-parts":[[2022,3,19]],"date-time":"2022-03-19T16:02:50Z","timestamp":1647705770000},"page":"316-328","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Proving Display Conformance and Action Consistency: The Example of an Integrated Clinical Environment"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5567-9650","authenticated-orcid":false,"given":"Michael D.","family":"Harrison","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0667-7763","authenticated-orcid":false,"given":"Paolo","family":"Masci","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2022,3,20]]},"reference":[{"key":"28_CR1","unstructured":"Arney, D., et al.: Generic infusion pump hazard analysis and safety requirements. Technical report. MS-CIS-08-31, University of Pennsylvania, February 2009"},{"key":"28_CR2","doi-asserted-by":"publisher","unstructured":"Arney, D., Plourde, J., Goldman, J.: OpenICE: an open, interoperable platform for medical cyber-physical systems. In: ACM\/IEEE International Conference on Cyberphysical Systems (ICCPS), April 2014. https:\/\/doi.org\/10.1109\/ICCPS.2014.6843734","DOI":"10.1109\/ICCPS.2014.6843734"},{"key":"28_CR3","unstructured":"Association for the Advancement of Medical Instrumentation (AAMI): Medical device interoperability: Standard for safety. Technical report. ANSI\/UL 2800\u20131, February 2019"},{"key":"28_CR4","unstructured":"ASTM: ASTM F2761 Medical Devices and Medical Systems \u2013 Essential safety requirements for equipment comprising the patient-centric integrated clinical environment (ICE) - Annex B: Clinical Scenarios (2009)"},{"issue":"6","key":"28_CR5","doi-asserted-by":"publisher","first-page":"834","DOI":"10.1109\/THMS.2017.2717910","volume":"47","author":"MD Harrison","year":"2017","unstructured":"Harrison, M.D., Masci, P., Campos, J.C., Curzon, P.: Verification of user interface software: the example of use-related safety requirements and programmable medical devices. ACM Trans. Hum. Mach. Syst. 47(6), 834\u2013846 (2017). https:\/\/doi.org\/10.1109\/THMS.2017.2717910","journal-title":"ACM Trans. Hum. Mach. Syst."},{"key":"28_CR6","doi-asserted-by":"crossref","unstructured":"Harrison, M., Campos, J., Ruksenas, R., Curzon, P.: Modelling information resources and their salience in medical device design. In: EICS 2016 Proceedings of the 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, pp. 194\u2013203. ACM Press (2016)","DOI":"10.1145\/2933242.2933250"},{"issue":"8","key":"28_CR7","doi-asserted-by":"publisher","first-page":"802","DOI":"10.1109\/TSE.2018.2804939","volume":"45","author":"M Harrison","year":"2019","unstructured":"Harrison, M., Masci, P., Campos, J.: Verification templates for the analysis of user interface software design. IEEE Trans. Software Eng. 45(8), 802\u2013822 (2019)","journal-title":"IEEE Trans. Software Eng."},{"issue":"3","key":"28_CR8","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1097\/PTS.0b013e3182948a69","volume":"9","author":"JT James","year":"2013","unstructured":"James, J.T.: A new, evidence-based estimate of patient harms associated with hospital care. J. Patient Saf. 9(3), 122\u2013128 (2013)","journal-title":"J. Patient Saf."},{"key":"28_CR9","doi-asserted-by":"crossref","unstructured":"Lee, I., Sokolsky, O.: Medical cyber physical systems. In: IEEE Design Automation Conference, pp. 743\u2013748. IEEE Press, June 2010","DOI":"10.1145\/1837274.1837463"},{"key":"28_CR10","unstructured":"Masci, P., Mallozzi, P., Luca, F., Angelis, D., Di Marzo, G., Curzon, P.: Using PVSio-web and SAPERE for rapid prototyping of user interfaces in integrated clinical environments. In: 3rd Workshop on Verification and Assurance (Verisure 2015), at CAV-2015, San Francisco, CA, USA (2015)"},{"key":"28_CR11","doi-asserted-by":"crossref","unstructured":"Masci, P., Weininger, S.: Usability engineering recommendations for next-gen integrated interoperable medical devices. Biomed. Instrum. Technol. 55(4), 132\u2013142 (2021). https:\/\/doi.org\/10.2345\/0890-8205-55.4.132","DOI":"10.2345\/0899-8205-55.4.132"},{"key":"28_CR12","doi-asserted-by":"publisher","unstructured":"Masci, P., Mu\u00f1oz, C.A.: An integrated development environment for the prototype verification system. Electron. Proc. Theoret. Comput. Sci. 310, 35\u201349 (2019). https:\/\/doi.org\/10.4204\/eptcs.310.5. https:\/\/doi.org\/10.4204\/EPTCS.310.5","DOI":"10.4204\/eptcs.310.5"},{"key":"28_CR13","unstructured":"Shankar, N., Owre, S., Rushby, J.M., Stringer-Calvert, D.: PVS System Guide, PVS Language Reference, PVS Prover Guide, PVS Prelude Library, Abstract Datatypes in PVS, and Theory Interpretations in PVS. Computer Science Laboratory, SRI International, Menlo Park, CA (1999). http:\/\/pvs.csl.sri.com\/documentation.shtml"},{"key":"28_CR14","unstructured":"Sutherland, J., Minear, M.: Informatics-a catalyst for operating room transformation. In: Operating Room of the Future, p. 22. No. 21702\u20135012. U.S. Army Medical Research and Materiel Command, Fort Detrick, Maryland (2003)"}],"container-title":["Lecture Notes in Computer Science","Sense, Feel, Design"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-98388-8_28","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,3,19]],"date-time":"2026-03-19T01:04:55Z","timestamp":1773882295000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-98388-8_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783030983871","9783030983888"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-98388-8_28","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022]]},"assertion":[{"value":"20 March 2022","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"INTERACT","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"IFIP Conference on Human-Computer Interaction","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Bari","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Italy","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2021","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"30 August 2021","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"3 September 2021","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"interact2021","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.interact2021.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Double-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"PCS","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"680","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"105","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"72","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"15% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"2","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"2","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}