{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,22]],"date-time":"2025-08-22T04:52:13Z","timestamp":1755838333657,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":27,"publisher":"ACM","license":[{"start":{"date-parts":[[2013,6,24]],"date-time":"2013-06-24T00:00:00Z","timestamp":1372032000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2013,6,24]]},"DOI":"10.1145\/2494603.2480302","type":"proceedings-article","created":{"date-parts":[[2013,6,25]],"date-time":"2013-06-25T19:13:21Z","timestamp":1372187601000},"page":"81-90","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":34,"title":["Verification of interactive software for medical devices"],"prefix":"10.1145","author":[{"given":"Paolo","family":"Masci","sequence":"first","affiliation":[{"name":"Queen Mary University of London, London, United Kingdom"}]},{"given":"Anaheed","family":"Ayoub","sequence":"additional","affiliation":[{"name":"University of Pennsylvania, Philadelphia, Pennsylvania, USA"}]},{"given":"Paul","family":"Curzon","sequence":"additional","affiliation":[{"name":"Queen Mary University of London, London, United Kingdom"}]},{"given":"Michael D.","family":"Harrison","sequence":"additional","affiliation":[{"name":"Queen Mary University of London, London, United Kingdom"}]},{"given":"Insup","family":"Lee","sequence":"additional","affiliation":[{"name":"University of Pennsylvania, Philadelphia, Pennsylvania, USA"}]},{"given":"Harold","family":"Thimbleby","sequence":"additional","affiliation":[{"name":"Swansea University, Swansea, United Kingdom"}]}],"member":"320","published-online":{"date-parts":[[2013,6,24]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Event-B and the Rodin Platform. http:\/\/www.event-b.org\/.  Event-B and the Rodin Platform. http:\/\/www.event-b.org\/."},{"key":"e_1_3_2_1_2_1","unstructured":"The Generic Patient Controlled Analgesia Pump Hazard Analysis and Safety Requirements. http:\/\/rtg.cis.upenn.edu\/gip.php3.  The Generic Patient Controlled Analgesia Pump Hazard Analysis and Safety Requirements. http:\/\/rtg.cis.upenn.edu\/gip.php3."},{"key":"e_1_3_2_1_3_1","volume-title":"The FDA 510(k) Clearance Process at 35 Years","author":"Medical Devices","year":"2011","unstructured":"Medical Devices and the Public's Health : The FDA 510(k) Clearance Process at 35 Years . Institute of Medicine , 2011 . Medical Devices and the Public's Health: The FDA 510(k) Clearance Process at 35 Years. Institute of Medicine, 2011."},{"key":"e_1_3_2_1_4_1","unstructured":"B-Braun Melsungen AG. Perfusor Space and Accessory: Instruction for Use.  B-Braun Melsungen AG. Perfusor Space and Accessory: Instruction for Use."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-008-0095-2"},{"key":"e_1_3_2_1_6_1","volume-title":"Taming HAL: Designing Interfaces Beyond","author":"Degani A.","year":"2001","unstructured":"Degani , A. Taming HAL: Designing Interfaces Beyond 2001 . Palgrave Macmillan , 2004. Degani, A. Taming HAL: Designing Interfaces Beyond 2001. Palgrave Macmillan, 2004."},{"key":"e_1_3_2_1_7_1","volume-title":"Reusing models and properties in the analysis of similar interactive devices. Innovations in Systems and Software Engineering","author":"Harrison M.","year":"2013","unstructured":"Harrison , M. , Campos , J. , and Masci , P . Reusing models and properties in the analysis of similar interactive devices. Innovations in Systems and Software Engineering ( 2013 ), 1--17. Harrison, M., Campos, J., and Masci, P. Reusing models and properties in the analysis of similar interactive devices. Innovations in Systems and Software Engineering (2013), 1--17."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2038642.2038667"},{"key":"e_1_3_2_1_10_1","first-page":"0","article-title":"Evidence-Based Decision-Making on Medical Technologies in China, Japan, and Singapore","volume":"12","author":"Liu G.","year":"2009","unstructured":"Liu , G. , Fukuda , T. , Lee , C. , Chen , V. , Zheng , Q. , and Kamae , I . Evidence-Based Decision-Making on Medical Technologies in China, Japan, and Singapore . Value in Health 12, Supplement 3 , 0 ( 2009 ), S12--S17. Liu, G., Fukuda, T., Lee, C., Chen, V., Zheng, Q., and Kamae, I. Evidence-Based Decision-Making on Medical Technologies in China, Japan, and Singapore. Value in Health 12, Supplement 3, 0 (2009), S12--S17.","journal-title":"Value in Health"},{"key":"e_1_3_2_1_11_1","first-page":"45","article-title":"On formalising interactive number entry on infusion pumps","author":"Masci P.","year":"2011","unstructured":"Masci , P. , Ruk\u0161\u0117nas , R. , Oladimeji , P. , Cauchi , A. , Gimblett , A. , Li , Y. , Curzon , P. , and Thimbleby , H . On formalising interactive number entry on infusion pumps . ECEASST 45 ( 2011 ). Masci, P., Ruk\u0161\u0117nas, R., Oladimeji, P., Cauchi, A., Gimblett, A., Li, Y., Curzon, P., and Thimbleby, H. On formalising interactive number entry on infusion pumps. ECEASST 45 (2011).","journal-title":"ECEASST"},{"key":"e_1_3_2_1_12_1","volume-title":"The benefits of formalising design guidelines: a case study on the predictability of drug infusion pumps. Innovations in Systems and Software Engineering","author":"Masci P.","year":"2013","unstructured":"Masci , P. , Ruk\u0161\u0117nas , R. , Oladimeji , P. , Cauchi , A. , Gimblett , A. , Li , Y. , Curzon , P. , and Thimbleby , H . The benefits of formalising design guidelines: a case study on the predictability of drug infusion pumps. Innovations in Systems and Software Engineering ( 2013 ), 1--21. Masci, P., Ruk\u0161\u0117nas, R., Oladimeji, P., Cauchi, A., Gimblett, A., Li, Y., Curzon, P., and Thimbleby, H. The benefits of formalising design guidelines: a case study on the predictability of drug infusion pumps. Innovations in Systems and Software Engineering (2013), 1--21."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/97243.97281"},{"key":"e_1_3_2_1_14_1","volume-title":"Proof Checking, and Model Checking. In Computer-Aided Verification, CAV '96, no. 1102 in Lecture Notes in Computer Science","author":"Owre S.","year":"1996","unstructured":"Owre , S. , Rajan , S. , Rushby , J. , Shankar , N. , and Srivas , M . PVS: Combining Specification , Proof Checking, and Model Checking. In Computer-Aided Verification, CAV '96, no. 1102 in Lecture Notes in Computer Science , Springer-Verlag ( 1996 ), 411--414. Owre, S., Rajan, S., Rushby, J., Shankar, N., and Srivas, M. PVS: Combining Specification, Proof Checking, and Model Checking. In Computer-Aided Verification, CAV '96, no. 1102 in Lecture Notes in Computer Science, Springer-Verlag (1996), 411--414."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.5555\/2227886.2227892"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.5555\/645867.670917"},{"key":"e_1_3_2_1_18_1","volume-title":"March","author":"Schoonmaker M.","year":"2005","unstructured":"Schoonmaker , M. The U.S. Approval Process for Medical Devices: Legislative Issues and Comparison with the Drug Model , March 2005 . CSR Report for Congress . Schoonmaker, M. The U.S. Approval Process for Medical Devices: Legislative Issues and Comparison with the Drug Model, March 2005. CSR Report for Congress."},{"key":"e_1_3_2_1_19_1","volume-title":"Medical device development: U.S. and EU differences. Applied Clinical Trials Online (August","author":"Sorrel S.","year":"2006","unstructured":"Sorrel , S. Medical device development: U.S. and EU differences. Applied Clinical Trials Online (August 2006 ). Sorrel, S. Medical device development: U.S. and EU differences. Applied Clinical Trials Online (August 2006)."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.5555\/1756428.1756436"},{"key":"e_1_3_2_1_21_1","volume-title":"Press On: Principles of Interaction Programming","author":"Thimbleby H.","year":"2010","unstructured":"Thimbleby , H. Press On: Principles of Interaction Programming . Mit Press , 2010 . Thimbleby, H. Press On: Principles of Interaction Programming. Mit Press, 2010."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1822018.1822041"},{"key":"e_1_3_2_1_23_1","volume-title":"General Controls for Medical Devices","author":"US Food and Drug Administration","year":"2009","unstructured":"US Food and Drug Administration . General Controls for Medical Devices , 2009 . US Food and Drug Administration. General Controls for Medical Devices, 2009."},{"key":"e_1_3_2_1_24_1","volume-title":"Learn if a Medical Device Has Been Cleared by FDA for Marketing","author":"US Food and Drug Administration","year":"2009","unstructured":"US Food and Drug Administration . Learn if a Medical Device Has Been Cleared by FDA for Marketing , 2009 . US Food and Drug Administration. Learn if a Medical Device Has Been Cleared by FDA for Marketing, 2009."},{"key":"e_1_3_2_1_25_1","unstructured":"US Food and Drug Administration. Premarket Notification (510k) 2009.  US Food and Drug Administration. Premarket Notification (510k) 2009."},{"key":"e_1_3_2_1_26_1","volume-title":"April","author":"US Food and Drug Administration","year":"2010","unstructured":"US Food and Drug Administration . Total Product Life Cycle: Infusion Pump - Premarket Notification {510(k)} Submissions - Draft Guidance , April 2010 . US Food and Drug Administration. Total Product Life Cycle: Infusion Pump - Premarket Notification {510(k)} Submissions - Draft Guidance, April 2010."},{"key":"e_1_3_2_1_27_1","volume-title":"October","author":"US Food and Drug Administration","year":"2012","unstructured":"US Food and Drug Administration . FDA and Industry Actions on Premarket Approval Applications (PMAs): Effect on FDA Review Clock and Goals , October 2012 . US Food and Drug Administration. FDA and Industry Actions on Premarket Approval Applications (PMAs): Effect on FDA Review Clock and Goals, October 2012."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/37.9.753"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1001\/archinternmed.2011.30"}],"event":{"name":"EICS'13: ACM SIGCHI Symposium on Engineering Interactive Computing Systems","sponsor":["SIGCHI ACM Special Interest Group on Computer-Human Interaction"],"location":"London United Kingdom","acronym":"EICS'13"},"container-title":["Proceedings of the 5th ACM SIGCHI symposium on Engineering interactive computing systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2494603.2480302","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2494603.2480302","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T07:28:55Z","timestamp":1750231735000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2494603.2480302"}},"subtitle":["PCA infusion pumps and FDA regulation as an example"],"short-title":[],"issued":{"date-parts":[[2013,6,24]]},"references-count":27,"alternative-id":["10.1145\/2494603.2480302","10.1145\/2494603"],"URL":"https:\/\/doi.org\/10.1145\/2494603.2480302","relation":{},"subject":[],"published":{"date-parts":[[2013,6,24]]},"assertion":[{"value":"2013-06-24","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}