{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,8]],"date-time":"2026-03-08T23:09:35Z","timestamp":1773011375638,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":21,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,10,23]],"date-time":"2022-10-23T00:00:00Z","timestamp":1666483200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,10,23]]},"DOI":"10.1145\/3550356.3561550","type":"proceedings-article","created":{"date-parts":[[2022,11,9]],"date-time":"2022-11-09T18:13:20Z","timestamp":1668017600000},"page":"473-480","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":9,"title":["A novel methodology to construct digital twin models for spacecraft operations using fault and behaviour trees"],"prefix":"10.1145","author":[{"given":"Nikolena","family":"Christofi","sequence":"first","affiliation":[{"name":"Federal University of Toulouse, Toulouse, France"}]},{"given":"Xavier","family":"Pucel","sequence":"additional","affiliation":[{"name":"Federal University of Toulouse, Toulouse, France"}]}],"member":"320","published-online":{"date-parts":[[2022,11,9]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-12-812622-6.00010-5"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/ECC.2014.6862631"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/AERO.2012.6187337"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/CoASE.2012.6386425"},{"key":"e_1_3_2_1_5_1","volume-title":"11th European Congress on Embedded real time systems (ERTS 2022","author":"Christofi Nikolena","year":"2022","unstructured":"Nikolena Christofi , Xavier Pucel , Claude Baron , Marc Pantel , S\u00e9bastien Guilmeau , and Christophe Ducamp . 2022 . Towards an agile, model-based multidisciplinary process to improve operational diagnosis in complex systems . In 11th European Congress on Embedded real time systems (ERTS 2022 ). https:\/\/www.erts2022.org\/, Toulouse, France. https:\/\/hal.laas.fr\/hal-03699979 Nikolena Christofi, Xavier Pucel, Claude Baron, Marc Pantel, S\u00e9bastien Guilmeau, and Christophe Ducamp. 2022. Towards an agile, model-based multidisciplinary process to improve operational diagnosis in complex systems. In 11th European Congress on Embedded real time systems (ERTS 2022). https:\/\/www.erts2022.org\/, Toulouse, France. https:\/\/hal.laas.fr\/hal-03699979"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1201\/9780429489105"},{"key":"e_1_3_2_1_7_1","volume-title":"Retrieved","author":"Community Pytrees Development","year":"2022","unstructured":"Pytrees Development Community . 2022 . Pytrees Library Documentation . Retrieved July 11, 2022 from https:\/\/py-trees.readthedocs.io\/en\/devel\/ Pytrees Development Community. 2022. Pytrees Library Documentation. Retrieved July 11, 2022 from https:\/\/py-trees.readthedocs.io\/en\/devel\/"},{"key":"e_1_3_2_1_8_1","first-page":"14","article-title":"Emergence of digital twins","volume":"5","author":"Austin Datta Shoumen Palit","year":"2017","unstructured":"Shoumen Palit Austin Datta . 2017 . Emergence of digital twins . Journal of Information Management 5 (2017), 14 -- 34 . Shoumen Palit Austin Datta. 2017. Emergence of digital twins. Journal of Information Management 5 (2017), 14--34.","journal-title":"Journal of Information Management"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.promfg.2019.02.060"},{"key":"e_1_3_2_1_10_1","volume-title":"Retrieved","author":"Eurecat Davide Faconti","year":"2022","unstructured":"Davide Faconti Eurecat . 2022 . BehaviorTree.CPP . Retrieved July 11, 2022 from https:\/\/www.behaviortree.dev\/ Davide Faconti Eurecat. 2022. BehaviorTree.CPP. Retrieved July 11, 2022 from https:\/\/www.behaviortree.dev\/"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/WODES.2008.4605985"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.2514\/6.2015-4617"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.1998.761808"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-08-100889-8.00004-0"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.procs.2014.03.101"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1002\/sys.21438"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1049\/cim2.12010"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/IECON.1998.722923"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/SYSCON.2017.7934796"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.3390\/aerospace7080109"},{"key":"e_1_3_2_1_21_1","volume-title":"Formal Techniques in Real-Time and Fault-Tolerant Systems, Werner Damm and Ernst R\u00fcdiger Olderog (Eds.)","author":"Tripakis Stavros","unstructured":"Stavros Tripakis . 2002. Fault Diagnosis for Timed Automata . In Formal Techniques in Real-Time and Fault-Tolerant Systems, Werner Damm and Ernst R\u00fcdiger Olderog (Eds.) . Springer Berlin Heidelberg , Berlin, Heidelberg , 205--221. Stavros Tripakis. 2002. Fault Diagnosis for Timed Automata. In Formal Techniques in Real-Time and Fault-Tolerant Systems, Werner Damm and Ernst R\u00fcdiger Olderog (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 205--221."}],"event":{"name":"MODELS '22: ACM\/IEEE 25th International Conference on Model Driven Engineering Languages and Systems","location":"Montreal Quebec Canada","acronym":"MODELS '22","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","Univ. of Montreal University of Montreal","IEEE CS"]},"container-title":["Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3550356.3561550","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3550356.3561550","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T17:49:10Z","timestamp":1750182550000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3550356.3561550"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,10,23]]},"references-count":21,"alternative-id":["10.1145\/3550356.3561550","10.1145\/3550356"],"URL":"https:\/\/doi.org\/10.1145\/3550356.3561550","relation":{},"subject":[],"published":{"date-parts":[[2022,10,23]]},"assertion":[{"value":"2022-11-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}