{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,8]],"date-time":"2026-02-08T06:05:29Z","timestamp":1770530729342,"version":"3.49.0"},"reference-count":40,"publisher":"IEEE","license":[{"start":{"date-parts":[[2022,10,9]],"date-time":"2022-10-09T00:00:00Z","timestamp":1665273600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,10,9]],"date-time":"2022-10-09T00:00:00Z","timestamp":1665273600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022,10,9]]},"DOI":"10.1109\/smc53654.2022.9945227","type":"proceedings-article","created":{"date-parts":[[2022,11,18]],"date-time":"2022-11-18T20:49:04Z","timestamp":1668804544000},"page":"656-662","source":"Crossref","is-referenced-by-count":15,"title":["Model-based Approach for Building Trust in Autonomous Drones through Digital Twins"],"prefix":"10.1109","author":[{"given":"Danish","family":"Iqbal","sequence":"first","affiliation":[{"name":"Masaryk University,Faculty of Informatics,Brno,Czech Republic"}]},{"given":"Barbora","family":"Buhnova","sequence":"additional","affiliation":[{"name":"Masaryk University,Faculty of Informatics,Brno,Czech Republic"}]}],"member":"263","reference":[{"key":"ref39","author":"zimmerov\u00e1","year":"2008","journal-title":"Modelling and formal analysis of component-based systems in view of component interaction"},{"key":"ref38","first-page":"146","author":"zimmerova","year":"0","journal-title":"The Common Component Modeling Example Comparing Software Component Models ser LNCS Springer Berlin 2008 ch ComponentInteraction Automata Approach (CoIn)"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.15439\/2022F273"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1145\/3524844.3528067"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1007\/b95112"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-16722-6_12"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1201\/9781003132868-2"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/MEMOCODE51338.2020.9315156"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-67531-2_11"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1016\/j.rser.2021.110801"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/IV47402.2020.9304819"},{"key":"ref40","first-page":"221","article-title":"The coin tool: modelling and verification of interactions in component-based systems","author":"bene\u0161","year":"2008","journal-title":"Proceedings of the Workshop on Formal Aspects of Component Software (FACS’08)"},{"key":"ref11","article-title":"Emergence of digital twins","author":"datta","year":"2016","journal-title":"arXiv preprint arXiv 1610 06088"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/CTS.2007.4621745"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.257.5"},{"key":"ref14","article-title":"Trust and security in intelligent autonomous systems","volume":"26","author":"rastogi","year":"0","journal-title":"International Journal of Computers and Their Applications"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/3005678"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/SISY.2017.8080540"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1098\/rsta.2020.0369"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.312.2"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-58298-2_1"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA48506.2021.9561608"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE-NIER.2019.00011"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1037\/0278-7393.26.2.395"},{"key":"ref3","first-page":"21","article-title":"Building trust in the untrustable","author":"cioroaica","year":"2020","journal-title":"2020 IEEE\/ACM 42nd International Conference on Software Engineering Software Engineering in Society (ICSE-SEIS)"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/MITP.2018.2876930"},{"key":"ref29","first-page":"30","article-title":"Modeling attack-defense trees’ countermeasures using continuous time markov chains","author":"lounis","year":"2020","journal-title":"1st International Conference on Software Engineering and Formal Methods"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1518\/hfes.46.1.50.30392"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/s43154-020-00029-y"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/ICSA-C50368.2020.00051"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/3329123"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TEM.2021.3116873"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-55911-7_1"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1080\/00423114.2018.1492142"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1177\/014233129902100408"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-62056-1_44"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1006\/ijhc.1994.1007"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1080\/00140139408964957"},{"key":"ref26","article-title":"Trust in decision aids: A model and its training implications","author":"cohen","year":"1998","journal-title":"in Proc Command and Control Research and Technology Symp"},{"key":"ref25","first-page":"19","article-title":"Operator reliance on automation: Theory and data","author":"riley","year":"2018","journal-title":"Automation and Human performance theory and applications"}],"event":{"name":"2022 IEEE International Conference on Systems, Man, and Cybernetics (SMC)","location":"Prague, Czech Republic","start":{"date-parts":[[2022,10,9]]},"end":{"date-parts":[[2022,10,12]]}},"container-title":["2022 IEEE International Conference on Systems, Man, and Cybernetics (SMC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9945068\/9945069\/09945227.pdf?arnumber=9945227","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,12,12]],"date-time":"2022-12-12T19:54:15Z","timestamp":1670874855000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9945227\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,10,9]]},"references-count":40,"URL":"https:\/\/doi.org\/10.1109\/smc53654.2022.9945227","relation":{},"subject":[],"published":{"date-parts":[[2022,10,9]]}}}