{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,11]],"date-time":"2026-05-11T11:21:34Z","timestamp":1778498494452,"version":"3.51.4"},"reference-count":42,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"funder":[{"DOI":"10.13039\/501100001446","name":"Singapore Economic Development Board","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100001446","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Industrial Postgraduate Programme (IPP) Grant"},{"DOI":"10.13039\/501100000266","name":"Engineering and Physical Sciences Research Council","doi-asserted-by":"publisher","award":["EP\/F033206\/1"],"award-info":[{"award-number":["EP\/F033206\/1"]}],"id":[{"id":"10.13039\/501100000266","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Formal Methods for Agritech Resilience Modelling","award":["EP\/S035362\/1"],"award-info":[{"award-number":["EP\/S035362\/1"]}]},{"name":"Multi-Perspective Design of IoT Cybersecurity in Ground and Aerial Vehicles"},{"name":"Amazon Research Award"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Access"],"published-print":{"date-parts":[[2022]]},"DOI":"10.1109\/access.2022.3225399","type":"journal-article","created":{"date-parts":[[2022,11,28]],"date-time":"2022-11-28T19:37:30Z","timestamp":1669664250000},"page":"125353-125364","source":"Crossref","is-referenced-by-count":7,"title":["Adaptive Model Verification for Modularized Industry 4.0 Applications"],"prefix":"10.1109","volume":"10","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-4703-7356","authenticated-orcid":false,"given":"Xin","family":"Xin","sequence":"first","affiliation":[{"name":"School of Computing Science, University of Glasgow, Glasgow, U.K."}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3640-5010","authenticated-orcid":false,"given":"Sye Loong","family":"Keoh","sequence":"additional","affiliation":[{"name":"School of Computing Science, University of Glasgow, Glasgow, U.K."}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6773-9481","authenticated-orcid":false,"given":"Michele","family":"Sevegnani","sequence":"additional","affiliation":[{"name":"School of Computing Science, University of Glasgow, Glasgow, U.K."}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5664-5586","authenticated-orcid":false,"given":"Martin","family":"Saerbeck","sequence":"additional","affiliation":[{"name":"Digital Service, TÜV SÜD Asia Pacific, International Business Park, Singapore"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Teck Ping","family":"Khoo","sequence":"additional","affiliation":[{"name":"Digital Service, TÜV SÜD Asia Pacific, International Business Park, Singapore"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1137\/1.9780898719765.ch2"},{"key":"ref38","author":"gurgul","year":"2019","journal-title":"Industrial Robots and Cobots Everything You Need to Know About Your Future Co-Worker"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1145\/1754414.1754419"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1145\/1525856.1525863"},{"key":"ref31","first-page":"15:1","volume":"246","author":"civit","year":"2022","journal-title":"Probabilistic dynamic input output automata"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2016.03.008"},{"key":"ref37","year":"2016"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1007\/BF01211866"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1016\/j.sna.2020.111990"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.3390\/s18072110"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/3387939.3391592"},{"key":"ref40","year":"2022","journal-title":"UR10e Collaborative Industrial Robot"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1512\/iumj.1957.6.56038"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070513"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45657-0_17"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/SMC42975.2020.9283204"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-24372-1_1"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-005-0187-8"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/3365365.3382209"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-016-0241-z"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/s13218-010-0014-6"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2018.2852491"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-11164-3_20"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-67531-2_11"},{"key":"ref3","article-title":"Challenges in the safety-security co-assurance of collaborative industrial robots","author":"gleirscher","year":"2020","journal-title":"arXiv 2007 11099"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.3390\/su12197982"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/j.eng.2019.01.014"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-63486-5_40"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2017.2650901"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/SmartIoT49966.2020.00016"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/j.promfg.2017.09.015"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985840"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1177\/0018720814565188"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/LRA.2019.2923099"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2018.08.010"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1177\/0278364917733549"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-015-0367-0"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-22110-1_47"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-21401-6_36"},{"key":"ref41","year":"2022","journal-title":"FRANKA EMIKA"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1016\/j.procs.2017.08.014"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-10575-8"}],"container-title":["IEEE Access"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6287639\/9668973\/09965400.pdf?arnumber=9965400","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,12,26]],"date-time":"2022-12-26T19:39:18Z","timestamp":1672083558000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9965400\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"references-count":42,"URL":"https:\/\/doi.org\/10.1109\/access.2022.3225399","relation":{},"ISSN":["2169-3536"],"issn-type":[{"value":"2169-3536","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022]]}}}