{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,9]],"date-time":"2025-10-09T20:54:35Z","timestamp":1760043275370,"version":"3.37.3"},"reference-count":32,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"6","license":[{"start":{"date-parts":[[2019,12,1]],"date-time":"2019-12-01T00:00:00Z","timestamp":1575158400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2019,12,1]],"date-time":"2019-12-01T00:00:00Z","timestamp":1575158400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2019,12,1]],"date-time":"2019-12-01T00:00:00Z","timestamp":1575158400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100003725","name":"National Research Foundation of Korea","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100003725","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Ministry of Science and ICT","award":["2017R1A2B4012582"],"award-info":[{"award-number":["2017R1A2B4012582"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Human-Mach. Syst."],"published-print":{"date-parts":[[2019,12]]},"DOI":"10.1109\/thms.2019.2903402","type":"journal-article","created":{"date-parts":[[2019,3,27]],"date-time":"2019-03-27T21:53:46Z","timestamp":1553723626000},"page":"529-539","source":"Crossref","is-referenced-by-count":16,"title":["Formalizing Human\u2013Machine Interactions for Adaptive Automation in Smart Manufacturing"],"prefix":"10.1109","volume":"49","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-3204-3270","authenticated-orcid":false,"given":"Taejong","family":"Joo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1785-4603","authenticated-orcid":false,"given":"Dongmin","family":"Shin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref32","first-page":"81","article-title":"Layout design of a furniture production line using formal methods","volume":"1","author":"wilsten","year":"2007","journal-title":"J Ind Syst Eng"},{"doi-asserted-by":"publisher","key":"ref31","DOI":"10.21236\/ADA057655"},{"key":"ref30","first-page":"132","article-title":"Analyzing software specifications for mode confusion potential","author":"leveson","year":"0","journal-title":"Proc Workshop Human Error and System Development"},{"doi-asserted-by":"publisher","key":"ref10","DOI":"10.1080\/1463922021000054335"},{"doi-asserted-by":"publisher","key":"ref11","DOI":"10.1518\/001872097778543886"},{"doi-asserted-by":"publisher","key":"ref12","DOI":"10.1080\/001401399185595"},{"doi-asserted-by":"publisher","key":"ref13","DOI":"10.1109\/3468.844354"},{"doi-asserted-by":"publisher","key":"ref14","DOI":"10.1518\/155534308X284417"},{"doi-asserted-by":"publisher","key":"ref15","DOI":"10.1177\/1555343411410160"},{"doi-asserted-by":"publisher","key":"ref16","DOI":"10.1177\/1064804613477099"},{"doi-asserted-by":"publisher","key":"ref17","DOI":"10.1201\/9781410607775.ch8"},{"doi-asserted-by":"publisher","key":"ref18","DOI":"10.1145\/242223.242257"},{"doi-asserted-by":"publisher","key":"ref19","DOI":"10.1080\/00207540500497074"},{"doi-asserted-by":"publisher","key":"ref28","DOI":"10.1016\/j.conengprac.2006.10.013"},{"doi-asserted-by":"publisher","key":"ref4","DOI":"10.1518\/001872095779049516"},{"doi-asserted-by":"publisher","key":"ref27","DOI":"10.1109\/ROBOT.2002.1013578"},{"doi-asserted-by":"publisher","key":"ref3","DOI":"10.1098\/rstb.1990.0101"},{"doi-asserted-by":"publisher","key":"ref6","DOI":"10.1518\/0018720053653820"},{"doi-asserted-by":"publisher","key":"ref29","DOI":"10.1002\/9781118131350.ch34"},{"doi-asserted-by":"publisher","key":"ref5","DOI":"10.1518\/0018720024494838"},{"doi-asserted-by":"publisher","key":"ref8","DOI":"10.1109\/TSMCA.2012.2210406"},{"doi-asserted-by":"publisher","key":"ref7","DOI":"10.2307\/j.ctt7srgf"},{"doi-asserted-by":"publisher","key":"ref2","DOI":"10.1137\/0325013"},{"doi-asserted-by":"publisher","key":"ref9","DOI":"10.1016\/j.conengprac.2006.02.008"},{"year":"2002","author":"sheridan","journal-title":"Humans and Automation System Design and Research Issues","key":"ref1"},{"year":"2009","author":"cassandras","journal-title":"Introduction to Discrete Event Systems","key":"ref20"},{"doi-asserted-by":"publisher","key":"ref22","DOI":"10.1109\/TSMCA.2005.853490"},{"doi-asserted-by":"publisher","key":"ref21","DOI":"10.1007\/978-1-4471-5058-9_54"},{"doi-asserted-by":"publisher","key":"ref24","DOI":"10.1109\/THMS.2014.2329476"},{"doi-asserted-by":"publisher","key":"ref23","DOI":"10.1016\/j.ress.2004.07.020"},{"doi-asserted-by":"publisher","key":"ref26","DOI":"10.1109\/THMS.2017.2700630"},{"doi-asserted-by":"publisher","key":"ref25","DOI":"10.1109\/THMS.2015.2424851"}],"container-title":["IEEE Transactions on Human-Machine Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6221037\/8910331\/08675470.pdf?arnumber=8675470","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,13]],"date-time":"2022-07-13T21:07:14Z","timestamp":1657746434000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8675470\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,12]]},"references-count":32,"journal-issue":{"issue":"6"},"URL":"https:\/\/doi.org\/10.1109\/thms.2019.2903402","relation":{},"ISSN":["2168-2291","2168-2305"],"issn-type":[{"type":"print","value":"2168-2291"},{"type":"electronic","value":"2168-2305"}],"subject":[],"published":{"date-parts":[[2019,12]]}}}