{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,8,6]],"date-time":"2024-08-06T12:38:36Z","timestamp":1722947916374},"reference-count":28,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2016,11,16]],"date-time":"2016-11-16T00:00:00Z","timestamp":1479254400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Med Syst"],"published-print":{"date-parts":[[2017,1]]},"DOI":"10.1007\/s10916-016-0614-2","type":"journal-article","created":{"date-parts":[[2016,11,17]],"date-time":"2016-11-17T08:08:59Z","timestamp":1479370139000},"update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["Preventable Medical Errors Driven Modeling of Medical Best Practice Guidance Systems"],"prefix":"10.1007","volume":"41","author":[{"given":"Andrew Y.-Z.","family":"Ou","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yu","family":"Jiang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Po-Liang","family":"Wu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lui","family":"Sha","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"suffix":"Jr","given":"Richard B.","family":"Berlin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,11,16]]},"reference":[{"key":"614_CR1","unstructured":"Ameur, Y. A, Baron, M., Girard, P.: Formal validation of hci user tasks. In: Software Engineering Research and Practice, pp. 732\u2013738 (2003)"},{"issue":"5","key":"614_CR2","doi-asserted-by":"publisher","first-page":"545","DOI":"10.1016\/j.ssci.2007.01.001","volume":"45","author":"S Basnyat","year":"2007","unstructured":"Basnyat, S., Palanque, P., Schupp, B., Wright, P., Formal socio-technical barrier modelling for safety-critical interactive systems design. Saf. Sci. 45(5):545\u2013565, 2007.","journal-title":"Saf. Sci."},{"issue":"3","key":"614_CR3","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1016\/S0953-5438(03)00011-0","volume":"15","author":"R Bastide","year":"2003","unstructured":"Bastide, R., Navarre, D., Palanque, P., A tool-supported design framework for safety critical interactive systems. Interact. Comput. 15(3):309\u2013328, 2003.","journal-title":"Interact. Comput."},{"key":"614_CR4","unstructured":"Bolton, M. L, and Bass, E. J: Enhanced operator function model: A generic human task behavior modeling language. In: SMC 2009. IEEE International Conference on Systems, Man and Cybernetics, 2009, pp. 2904\u20132911. IEEE (2009)"},{"issue":"5","key":"614_CR5","doi-asserted-by":"publisher","first-page":"961","DOI":"10.1109\/TSMCA.2011.2109709","volume":"41","author":"ML Bolton","year":"2011","unstructured":"Bolton, M. L, Siminiceanu, R., Bass, E. J, et al., A systematic approach to model checking human-automation interaction using task analytic models. IEEE Trans. Syst. Man Cybern. Part A: Syst. Humans 41(5):961\u2013976, 2011.","journal-title":"IEEE Trans. Syst. Man Cybern. Part A: Syst. Humans"},{"key":"614_CR6","unstructured":"Campos, J. C, and Harrison, M. D, Modelling and analysing the interactive behaviour of an infusion pump. Electronic Communications of the EASST 45, 2011."},{"key":"614_CR7","unstructured":"De Moura, L., Owre, S., Shankar, N., The sal language manual. Computer Science Laboratory, SRI International, Menlo Park, Tech Rep CSL-01-01, 2003."},{"issue":"1","key":"614_CR8","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1518\/0018720024494838","volume":"44","author":"A Degani","year":"2002","unstructured":"Degani, A., and Heymann, M., Formal verification of human-automation interaction. Human Factors: J. Human Factors Ergon. Soc. 44(1):28\u201343, 2002.","journal-title":"Human Factors: J. Human Factors Ergon. Soc."},{"issue":"2","key":"614_CR9","doi-asserted-by":"publisher","first-page":"294","DOI":"10.1097\/00003246-199502000-00015","volume":"23","author":"Y Donchin","year":"1995","unstructured":"Donchin, Y., Gopher, D., Olin, M., Badihi, Y., Biesky, M. R, Sprung, C. L, Pizov, R., Cotev, S., A look into the nature and causes of human errors in the intensive care unit. Crit. Care Med. 23(2):294\u2013300, 1995.","journal-title":"Crit. Care Med."},{"issue":"5","key":"614_CR10","first-page":"52","volume":"142","author":"D Hughes","year":"1995","unstructured":"Hughes, D., and Dornheim, M. A, Accidents direct focus on cockpit automation. Aviat. Week Space Technol. 142(5):52\u201354, 1995.","journal-title":"Aviat. Week Space Technol."},{"issue":"4","key":"614_CR11","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1145\/235833.236050","volume":"3","author":"BE John","year":"1996","unstructured":"John, B. E, and Kieras, D. E, Using goms for user interface design and evaluation: Which technique? ACM Trans. Comput.-Human Interact. (TOCHI) 3(4):287\u2013319, 1996.","journal-title":"ACM Trans. Comput.-Human Interact. (TOCHI)"},{"key":"614_CR12","doi-asserted-by":"crossref","unstructured":"Joshi, A., Miller, S. P, Heimdahl, M.: Mode confusion analysis of a flight guidance system using formal methods. In: Proceedings of the 22nd Digital Avionics Systems Conference (DASC?03), pp. 12\u201316 (2003)","DOI":"10.1109\/DASC.2003.1245813"},{"key":"614_CR13","doi-asserted-by":"crossref","unstructured":"Kang, W., Wu, P., Rahmaniheris, M., Sha, L., Berlin, R. B, Goldman, J. M: Towards organ-centric compositional development of safe networked supervisory medical systems. In: 2013 IEEE 26th International Symposium on Computer-Based Medical Systems (CBMS), pp. 143\u2013148. IEEE (2013)","DOI":"10.1109\/CBMS.2013.6627779"},{"issue":"2","key":"614_CR14","doi-asserted-by":"publisher","first-page":"346","DOI":"10.1212\/WNL.48.2.346","volume":"48","author":"P Karanjia","year":"1997","unstructured":"Karanjia, P., Nelson, J., Lefkowitz, D., Dick, A., Toole, J., Chambless, L., Hayes, R., Howard, V., Validation of the acas tia\/stroke algorithm. Neurology 48(2):346\u2013351, 1997.","journal-title":"Neurology"},{"key":"614_CR15","doi-asserted-by":"crossref","unstructured":"Kim, C., Sun, M., Rahmaniheris, M., Sha, L.: How to reliably integrate medical devices over wireless. In: 2012 9th Annual IEEE Communications Society Conference on Sensor, Mesh and Ad Hoc Communications and Networks (SECON), pp. 85\u201387. IEEE (2012)","DOI":"10.1109\/SECON.2012.6276355"},{"issue":"1","key":"614_CR16","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1007\/s100090050010","volume":"1","author":"KG Larsen","year":"1997","unstructured":"Larsen, K. G, Pettersson, P., Yi, W., Uppaal in a nutshell. Int. J. Softw. Tools Technol. Trans. (STTT) 1(1):134\u2013152, 1997.","journal-title":"Int. J. Softw. Tools Technol. Trans. (STTT)"},{"issue":"7","key":"614_CR17","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1109\/MC.1993.274940","volume":"26","author":"NG Leveson","year":"1993","unstructured":"Leveson, N. G, and Turner, C. S, An investigation of the therac-25 accidents. Computer 26(7):18\u201341, 1993.","journal-title":"Computer"},{"key":"614_CR18","doi-asserted-by":"crossref","unstructured":"Masci, P., Ayoub, A., Curzon, P., Lee, I., Sokolsky, O., Thimbleby, H.: Model-based development of the generic pca infusion pump user interface prototype in pvs. In: Computer Safety, Reliability, and Security, pp. 228\u2013240. Springer (2013)","DOI":"10.1007\/978-3-642-40793-2_21"},{"issue":"18 suppl 3","key":"614_CR19","doi-asserted-by":"publisher","first-page":"S729","DOI":"10.1161\/CIRCULATIONAHA.110.970988","volume":"122","author":"RW Neumar","year":"2010","unstructured":"Neumar, R. W, Otto, C. W, Link, M. S, Kronick, S. L, Shuster, M., Callaway, C. W, Kudenchuk, P. J, Ornato, J. P, McNally, B., Silvers, S. M, et al., Part 8: Adult advanced cardiovascular life support 2010 american heart association guidelines for cardiopulmonary resuscitation and emergency cardiovascular care. Circulation 122(18 suppl 3):S729\u2013S767, 2010.","journal-title":"Circulation"},{"key":"614_CR20","doi-asserted-by":"crossref","unstructured":"Palanque, P. A, Bastide, R., Seng\u00e8s, V: Validating interactive system design through the verification of formal task and system models. In: EHCI, pp. 189\u2013212 (1995)","DOI":"10.1007\/978-0-387-34907-7_11"},{"issue":"8","key":"614_CR21","doi-asserted-by":"publisher","first-page":"1694","DOI":"10.1097\/01.CCM.0000171609.91035.BD","volume":"33","author":"JM Rothschild","year":"2005","unstructured":"Rothschild, J. M, Landrigan, C. P, Cronin, J. W, Kaushal, R., Lockley, S. W, Burdick, E., Stone, P. H, Lilly, C. M, Katz, J. T, Czeisler, C. A, et al., The critical care safety study: The incidence and nature of adverse events and serious medical errors in intensive care*. Crit. Care Med. 33(8):1694\u20131700 , 2005.","journal-title":"Crit. Care Med."},{"issue":"4","key":"614_CR22","doi-asserted-by":"publisher","first-page":"352","DOI":"10.1111\/j.1553-2712.2005.tb01957.x","volume":"12","author":"NI Shapiro","year":"2005","unstructured":"Shapiro, N. I, Howell, M., Talmor, D., A blueprint for a sepsis protocol. Acad. Emerg. Med. 12(4): 352\u2013359, 2005.","journal-title":"Acad. Emerg. Med."},{"issue":"4","key":"614_CR23","doi-asserted-by":"publisher","first-page":"1025","DOI":"10.1097\/01.CCM.0000206104.18647.A8","volume":"34","author":"NI Shapiro","year":"2006","unstructured":"Shapiro, N. I, Howell, M. D, Talmor, D., Lahey, D., Ngo, L., Buras, J., Wolfe, R. E, Weiss, J. W, Lisbon, A., Implementation and outcomes of the multiple urgent sepsis therapies (must) protocol*. Crit. Care Med. 34(4):1025\u20131032, 2006.","journal-title":"Crit. Care Med."},{"issue":"1","key":"614_CR24","doi-asserted-by":"publisher","first-page":"10","DOI":"10.1097\/00006527-200601000-00004","volume":"26","author":"N Strzyzewski","year":"2006","unstructured":"Strzyzewski, N., Common errors made in resuscitation of respiratory and cardiac arrest. Plast. Surg. Nurs. 26(1):10\u201314, 2006.","journal-title":"Plast. Surg. Nurs."},{"issue":"4","key":"614_CR25","doi-asserted-by":"publisher","first-page":"1168","DOI":"10.1097\/CCM.0b013e318168f649","volume":"36","author":"D Talmor","year":"2008","unstructured":"Talmor, D., Greenberg, D., Howell, M. D, Lisbon, A., Novack, V., Shapiro, N., The costs and cost-effectiveness of an integrated sepsis treatment protocol. Crit. Care Med. 36(4):1168\u20131174, 2008.","journal-title":"Crit. Care Med."},{"key":"614_CR26","doi-asserted-by":"crossref","unstructured":"Wu, P. L., Raguraman, D., Sha, L., Berlin, R. B, Goldman, J. M: A treatment validation protocol for cyber-physical-human medical systems. In: 2014 40th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA), pp. 183\u2013190. IEEE (2014)","DOI":"10.1109\/SEAA.2014.10"},{"key":"614_CR27","unstructured":"Wu, P. L, Nam, M. Y, Choi, J., Kirlik, A., Sha, L., Berlin, R., Medical best practice guidance navigation and control (GN&C) system for supporting situation awareness. Tech. rep., University of Illinois at Urbana Champaign, 2015."},{"key":"614_CR28","doi-asserted-by":"crossref","unstructured":"Yun, H., Wu, P. L, Rahmaniheris, M., Kim, C., Sha, L.: A reduced complexity design pattern for distributed hierarchical command and control system. In: Proceedings of the 1st ACM\/IEEE International Conference on Cyber-Physical Systems, pp. 42\u201349. ACM (2010)","DOI":"10.1145\/1795194.1795201"}],"container-title":["Journal of Medical Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10916-016-0614-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10916-016-0614-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10916-016-0614-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,2,18]],"date-time":"2020-02-18T03:16:47Z","timestamp":1581995807000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10916-016-0614-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,11,16]]},"references-count":28,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2017,1]]}},"alternative-id":["614"],"URL":"https:\/\/doi.org\/10.1007\/s10916-016-0614-2","relation":{},"ISSN":["0148-5598","1573-689X"],"issn-type":[{"value":"0148-5598","type":"print"},{"value":"1573-689X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,11,16]]},"assertion":[{"value":"30 June 2016","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"13 September 2016","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"16 November 2016","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}],"article-number":"9"}}