{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,19]],"date-time":"2025-11-19T19:09:02Z","timestamp":1763579342065,"version":"3.45.0"},"reference-count":56,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"5","license":[{"start":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T00:00:00Z","timestamp":1759276800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T00:00:00Z","timestamp":1759276800000},"content-version":"am","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T00:00:00Z","timestamp":1759276800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T00:00:00Z","timestamp":1759276800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["2219041","1918314","1918140"],"award-info":[{"award-number":["2219041","1918314","1918140"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Human-Mach. Syst."],"published-print":{"date-parts":[[2025,10]]},"DOI":"10.1109\/thms.2025.3593085","type":"journal-article","created":{"date-parts":[[2025,8,25]],"date-time":"2025-08-25T20:47:15Z","timestamp":1756154835000},"page":"844-854","source":"Crossref","is-referenced-by-count":0,"title":["Validation of a Formal Method for Human Error Rate Prediction With Negative Transfer"],"prefix":"10.1109","volume":"55","author":[{"ORCID":"https:\/\/orcid.org\/0009-0009-1298-1794","authenticated-orcid":false,"given":"Yeonbin","family":"Son","sequence":"first","affiliation":[{"name":"Department of Systems and Information Engineering, University of Virginia, Charlottesville, VA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7943-0497","authenticated-orcid":false,"given":"Matthew L.","family":"Bolton","sequence":"additional","affiliation":[{"name":"Department of Systems and Information Engineering, University of Virginia, Charlottesville, VA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Emma","family":"Crooks","sequence":"additional","affiliation":[{"name":"US Army Corps of Engineers, Buffalo, NY, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hannah","family":"Palmer","sequence":"additional","affiliation":[{"name":"Department of Systems and Information Engineering, University of Virginia, Charlottesville, VA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7891-6885","authenticated-orcid":false,"given":"Eunsuk","family":"Kang","sequence":"additional","affiliation":[{"name":"Software and Societal Systems Department, Carnegie Mellon University, Pittsburgh, PA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3111-787X","authenticated-orcid":false,"given":"Christopher","family":"Daly","sequence":"additional","affiliation":[{"name":"Department of Pharmacy Practice, University at Buffalo, Buffalo, NY, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139062367"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1006\/imms.1993.1051"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1518\/155723405783703082"},{"article-title":"Accident statistics","year":"2023","author":"Kebabjian","key":"ref4"},{"article-title":"The Richard G. mcspadden report: 34th AOPA air safety institute accident report","volume-title":"AOPA","year":"2025","key":"ref5"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.21236\/ada421592"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1136\/bmj.i2139"},{"volume-title":"To Err is Human: Building a Safer Health System","year":"2000","author":"Kohn","key":"ref8"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2012.2210406"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1177\/1541931213601664"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-51838-1"},{"article-title":"Survey of human models for verification of human-machine systems","year":"2023","author":"Wang","key":"ref12"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1017\/9781108755610.038"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44675-3_9"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-006-0008-8"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/s11334-010-0129-9"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2011.2109709"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-70816-2_9"},{"article-title":"Analysis of erroneous actions in the design of critical systems","year":"2001","author":"Fields","key":"ref19"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1016\/j.ijhcs.2012.05.010"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2013.2256129"},{"key":"ref22","first-page":"62","article-title":"Formal modeling of erroneous human behavior and its implications for model checking","volume-title":"Proc. 6th NASA Langley Formal Methods Workshop","author":"Bolton","year":"2008"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1016\/j.ergon.2016.04.001"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.2514\/1.i010276"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/1996461.1996516"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/SMC53992.2023.10393892"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/SMC52423.2021.9658721"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/ISSREW63542.2024.00090"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1016\/0005-1098(83)90046-8"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1016\/j.ijhcs.2017.06.006"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1207\/s15516709cog2101_2"},{"key":"ref32","first-page":"160","article-title":"Supporting system design by analyzing current task knowledge","volume-title":"Task Analysis for Human-Computer Interaction","author":"Johnson","year":"1989"},{"key":"ref33","first-page":"6452","article-title":"Transfer of learning","volume":"2","author":"Perkins","year":"1992","journal-title":"Int. Encyclopedia Educ."},{"volume-title":"The Psychology of Everyday Things","year":"1988","author":"Norman","key":"ref34"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-22110-1_47"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1016\/j.ress.2021.107764"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/SMC53992.2023.10394333"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1201\/b16826"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-51838-1_13"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1016\/j.ress.2019.03.010"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1177\/1541931213601667"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1016\/j.ress.2020.106927"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1016\/j.ssci.2020.104944"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1016\/j.ress.2013.02.011"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1016\/b978-0-08-042848-2.x5000-3"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1207\/s15327043hup0603_1"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1037\/h0076770"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-12-188950-0.50009-6"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-12-188950-0.50008-4"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1037\/\/0033-295X.84.4.327"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(94)00028-Y"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1016\/j.ijhcs.2004.08.002"},{"key":"ref53","article-title":"OpenEMR continues to grow in popularity and use","author":"Groen","year":"2012","journal-title":"Open Health News"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24756-2_25"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.2010.5641711"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1037\/0278-7393.26.3.601"}],"container-title":["IEEE Transactions on Human-Machine Systems"],"original-title":[],"link":[{"URL":"https:\/\/ieeexplore.ieee.org\/ielam\/6221037\/11199980\/11137403-aam.pdf","content-type":"application\/pdf","content-version":"am","intended-application":"syndication"},{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/6221037\/11199980\/11137403.pdf?arnumber=11137403","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,11,19]],"date-time":"2025-11-19T18:46:28Z","timestamp":1763577988000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11137403\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,10]]},"references-count":56,"journal-issue":{"issue":"5"},"URL":"https:\/\/doi.org\/10.1109\/thms.2025.3593085","relation":{},"ISSN":["2168-2291","2168-2305"],"issn-type":[{"type":"print","value":"2168-2291"},{"type":"electronic","value":"2168-2305"}],"subject":[],"published":{"date-parts":[[2025,10]]}}}