{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,22]],"date-time":"2025-12-22T18:39:56Z","timestamp":1766428796065,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":92,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,9,22]],"date-time":"2024-09-22T00:00:00Z","timestamp":1726963200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"name":"NWO","award":["KICH1.ST02.21.003"],"award-info":[{"award-number":["KICH1.ST02.21.003"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,9,22]]},"DOI":"10.1145\/3652620.3688348","type":"proceedings-article","created":{"date-parts":[[2024,10,31]],"date-time":"2024-10-31T18:06:36Z","timestamp":1730397996000},"page":"1170-1179","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Modelling of Cyber-Physical Systems through Domain-Specific Languages: Decision, Analysis, Design"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2655-9617","authenticated-orcid":false,"given":"Marcus","family":"Gerhold","sequence":"first","affiliation":[{"name":"Formal Methods & Tools, University of Twente, Enschede, Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0003-8587-4152","authenticated-orcid":false,"given":"Aliaksei","family":"Kouzel","sequence":"additional","affiliation":[{"name":"Technical Computer Science, Universiteit Twente, Enschede, Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0007-0038-8841","authenticated-orcid":false,"given":"Haroun","family":"Mangal","sequence":"additional","affiliation":[{"name":"Technical Computer Science, Universiteit Twente, Enschede, Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0001-5805-5288","authenticated-orcid":false,"given":"Selin","family":"Mehmed","sequence":"additional","affiliation":[{"name":"Technical Computer Science, Universiteit Twente, Enschede, Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7764-4224","authenticated-orcid":false,"given":"Vadim","family":"Zaytsev","sequence":"additional","affiliation":[{"name":"Formal Methods & Tools, Universiteit Twente, Enschede, Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2024,10,31]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/WETICE49692.2020.00060"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/WD.2013.6686528"},{"key":"e_1_3_2_1_3_1","volume-title":"Tiago Prince Sales, and Ricardo A. Falbo","author":"Almeida Jo\u00e3o Paulo A.","year":"2019","unstructured":"Jo\u00e3o Paulo A. Almeida, Giancarlo Guizzardi, Tiago Prince Sales, and Ricardo A. Falbo. 2019. gUFO: A Lightweight Implementation of the Unified Foundational Ontology (UFO). http:\/\/purl.org\/nemo\/doc\/gufo."},{"key":"e_1_3_2_1_4_1","volume-title":"Proceedings of the Conference on Domain-Specific Languages (DSL). USENIX Association","author":"Antoniotti Marco","year":"1997","unstructured":"Marco Antoniotti and Aleks G\u00f6ll\u00fc. 1997. SHIFT and SMART-AHS: A Language for Hybrid System Engineering Modeling and Simulation. In Proceedings of the Conference on Domain-Specific Languages (DSL). USENIX Association, Santa Barbara, CA, USA, 171--182. https:\/\/www.usenix.org\/conference\/dsl-97\/shift-and-smart-ahs-language-hybrid-system-engineering-modeling-and-simulation"},{"volume-title":"Digital Design (Verilog): An Embedded Systems Approach Using Verilog","author":"Ashenden Peter J.","key":"e_1_3_2_1_5_1","unstructured":"Peter J. Ashenden. 2008. Digital Design (Verilog): An Embedded Systems Approach Using Verilog. Elsevier Science."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-007-0061-0"},{"key":"e_1_3_2_1_7_1","volume-title":"Models and Megamodels: A Tutorial. In Post-proceedings of the Seventh Seminar in Series on Advanced Techniques and Tools for Software Evolution (SATToSE 2014) (CEUR Workshop Proceedings","volume":"143","author":"Bagge Anya Helene","year":"2015","unstructured":"Anya Helene Bagge and Vadim Zaytsev. 2015. Languages, Models and Megamodels: A Tutorial. In Post-proceedings of the Seventh Seminar in Series on Advanced Techniques and Tools for Software Evolution (SATToSE 2014) (CEUR Workshop Proceedings, Vol. 1354), Davide Di Ruscio and Vadim Zaytsev (Eds.). CEUR-WS.org, 132--143. http:\/\/ceur-ws.org\/Vol-1354\/paper-12.pdf"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2006.887290"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.36001\/phme.2021.v6i1.2806"},{"volume-title":"Model-Based Diagnosis --- An ASML Case Study. Master's thesis","author":"Barve Anup","key":"e_1_3_2_1_10_1","unstructured":"Anup Barve. 2005. Model-Based Diagnosis --- An ASML Case Study. Master's thesis. Delft University of Technology, The Netherlands. https:\/\/citeseerx.ist.psu.edu\/document?repid=rep1&type=pdf&doi=6435e31cee1b1a7c4b1d481abc5fd8a41e27c51f"},{"volume-title":"UPPAAL --- A Tool Suite for Automatic Verification of Real-Time Systems","author":"Bengtsson Johan","key":"e_1_3_2_1_11_1","unstructured":"Johan Bengtsson, Kim Larsen, Fredrik Larsson, Paul Pettersson, and Wang Yi. 1996. UPPAAL --- A Tool Suite for Automatic Verification of Real-Time Systems. In Hybrid Systems III, Rajeev Alur, Thomas A. Henzinger, and Eduardo D. Sontag (Eds.). Springer, Berlin, Heidelberg, 232--243."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/SYSOSE.2018.8428770"},{"key":"e_1_3_2_1_13_1","volume-title":"Workshop on best MDSD practices. 9 pages.","author":"B\u00e9zivin Jean","year":"2004","unstructured":"Jean B\u00e9zivin, Fr\u00e9d\u00e9ric Jouault, and Patrick Valduriez. 2004. On the Need for Megamodels. In OOPSLA & GPCE, Workshop on best MDSD practices. 9 pages."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","unstructured":"M. Bodenbenner M. P. Sanders B. Montavon and R. H. Schmitt. 2021. Domain-Specific Language for Sensors in the Internet of Production. In Production at the Leading Edge of Technology Bernd-Arno Behrens Alexander Brosius Wolfgang Hintze Steffen Ihlenfeldt and Jens Peter Wulfsberg (Eds.). Springer Berlin Heidelberg 448--456. 10.1007\/978-3-662-62138-7_45","DOI":"10.1007\/978-3-662-62138-7_45"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/COMPSACW.2014.120"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/S10270-023-01101-9"},{"key":"e_1_3_2_1_17_1","first-page":"389","article-title":"Temporal Issues in Cyber-Physical Systems","volume":"93","author":"Broman David","year":"2013","unstructured":"David Broman, Patricia Derler, and John Eidson. 2013. Temporal Issues in Cyber-Physical Systems. Journal of Indian Institute of Science 93, 3 (2013), 389--402. http:\/\/chess.eecs.berkeley.edu\/pubs\/997.html","journal-title":"Journal of Indian Institute of Science"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2508443.2508452"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1541880.1541882"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2897035.2897039"},{"volume-title":"Object-Oriented Development: The Fusion Method","author":"Coleman Derek","key":"e_1_3_2_1_21_1","unstructured":"Derek Coleman, Patrick Arnold, Stephanie Bodoff, Chris Dollin, Helena Gilchrist, Fiona Hayes, and Paul Jeremaes. 1994. Object-Oriented Development: The Fusion Method. Prentice Hall."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1201\/b21841"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2011.2160929"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1016\/J.CL.2015.08.007"},{"key":"e_1_3_2_1_25_1","volume-title":"Language Workbenches: The Killer-App for Domain Specific Languages? MartinFowler.com. https:\/\/martinfowler.com\/articles\/languageWorkbench.html","author":"Fowler Martin","year":"2005","unstructured":"Martin Fowler. 2005. Language Workbenches: The Killer-App for Domain Specific Languages? MartinFowler.com. https:\/\/martinfowler.com\/articles\/languageWorkbench.html"},{"key":"e_1_3_2_1_26_1","unstructured":"Martin Fowler and Rebecca Parsons. 2007. Domain-Specific Languages. Addison-Wesley Professional."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-05324-9"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/MoDRE.2012.6360074"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/2997364.2997386"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1002\/cpe.4850"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/HICSS.2003.1174892"},{"key":"e_1_3_2_1_32_1","first-page":"08","article-title":"The Formal Specification Language mCRL2","volume":"27","author":"Groote Jan Friso","year":"2006","unstructured":"Jan Friso Groote, Aad Mathijssen, Michel A. Reniers, Yaroslav S. Usenko, and Muck van Weerdenburg. 2006. The Formal Specification Language mCRL2. In Methods for Modelling Software Systems (MMOSS), 27.08. - 01.09.2006 (Dagstuhl Seminar Proceedings, Vol. 06351), Ed Brinksma, David Harel, Angelika Mader, Perdita Stevens, and Roel J. Wieringa (Eds.). Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, 1--34. http:\/\/drops.dagstuhl.de\/opus\/volltexte\/2007\/862","journal-title":"Methods for Modelling Software Systems (MMOSS)"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/APSEC.2018.00090"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1006\/IJHC.1995.1066"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.3837\/tiis.2014.12.001"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.5555\/903627"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04425-0_33"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-19937-0_6"},{"key":"e_1_3_2_1_39_1","first-page":"1994","volume":"7498","author":"ISO","year":"1994","unstructured":"ISO 07498 1994. ISO\/IEC 7498-1:1994. Information technology --- Open Systems Interconnection --- Basic Reference Model: The Basic Model. https:\/\/www.iso.org\/standard\/20269.html.","journal-title":"ISO\/IEC"},{"key":"e_1_3_2_1_40_1","volume-title":"Proceedings of the Second Conference on Domain-Specific Languages (DSL). USENIX Association","author":"Jennings James","year":"1999","unstructured":"James Jennings and Eric Beuscher. 1999. Verischemelog: Verilog Embedded in Scheme. In Proceedings of the Second Conference on Domain-Specific Languages (DSL). USENIX Association, Austin, TX, USA, 12 pages. https:\/\/www.usenix.org\/conference\/dsl-99\/verischemelog-verilog-embedded-scheme"},{"key":"e_1_3_2_1_41_1","unstructured":"Gabor Karsai Holger Krahn Claas Pinkernell Bernhard Rumpe Martin Schindler and Steven V\u00f6lkel. 2014. Design Guidelines for Domain Specific Languages. https:\/\/arxiv.org\/abs\/1409.2378. arXiv:1409.2378 [cs.SE]"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1109\/JSYST.2014.2322503"},{"key":"e_1_3_2_1_43_1","first-page":"3","article-title":"An Overview and Some Challenges in Cyber-Physical Systems","volume":"93","author":"Kim Kyoung Dae","year":"2013","unstructured":"Kyoung Dae Kim and Panganamala R. Kumar. 2013. An Overview and Some Challenges in Cyber-Physical Systems. Journal of the Indian Institute of Science 93, 3 (July 2013), 341--352. https:\/\/journal.iisc.ac.in\/index.php\/iisc\/article\/view\/1693","journal-title":"Journal of the Indian Institute of Science"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1109\/TVCG.2015.2467449"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-020-00831-4"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/3183895.3183902"},{"volume-title":"Developing a DSL Design Methodology for CPS Diagnostics. Bachelor's thesis. Universiteit Twente","author":"Kouzel Aliaksei","key":"e_1_3_2_1_47_1","unstructured":"Aliaksei Kouzel. 2024. Developing a DSL Design Methodology for CPS Diagnostics. Bachelor's thesis. Universiteit Twente, Enschede, The Netherlands. http:\/\/purl.utwente.nl\/essays\/100776"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1109\/AERO.2008.4526647"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/317636.317784"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISORC.2008.25"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1145\/1837274.1837462"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.3390\/s150304837"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1109\/EFTA.2007.4416788"},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1109\/FDL50818.2020.9232939"},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1109\/AICT52784.2021.9620493"},{"key":"e_1_3_2_1_57_1","volume-title":"CSPL: A Domain-Specific Language for Modelling the Behaviour of Cyber-Physical Systems. Bachelor's thesis. Universiteit Twente","author":"Mangal Haroun","year":"2024","unstructured":"Haroun Mangal. 2024. CSPL: A Domain-Specific Language for Modelling the Behaviour of Cyber-Physical Systems. Bachelor's thesis. Universiteit Twente, Enschede, The Netherlands. https:\/\/purl.utwente.nl\/essays\/101433"},{"volume-title":"Domain-Specific Language for Cyber-Physical Systems: A Survey. Bachelor's thesis. Universiteit Twente","author":"Mehmed Selin","key":"e_1_3_2_1_58_1","unstructured":"Selin Mehmed. 2024. Domain-Specific Language for Cyber-Physical Systems: A Survey. Bachelor's thesis. Universiteit Twente, Enschede, The Netherlands. http:\/\/purl.utwente.nl\/essays\/100883"},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.5220\/0006605804460453"},{"key":"e_1_3_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1145\/1118890.1118892"},{"key":"e_1_3_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2021.3068358"},{"key":"e_1_3_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2009.67"},{"key":"e_1_3_2_1_63_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2018.08.334"},{"key":"e_1_3_2_1_64_1","doi-asserted-by":"publisher","DOI":"10.7763\/IJET.2016.V8.898"},{"key":"e_1_3_2_1_65_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0020-7373(87)80039-1"},{"key":"e_1_3_2_1_66_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-42559-7_2"},{"key":"e_1_3_2_1_67_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cl.2015.12.004"},{"key":"e_1_3_2_1_68_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.aei.2015.12.003"},{"key":"e_1_3_2_1_69_1","doi-asserted-by":"publisher","DOI":"10.1002\/j.2334-5837.2007.tb02878.x"},{"key":"e_1_3_2_1_70_1","doi-asserted-by":"publisher","unstructured":"Jurryt Pietersma Arjan J. C. van Gemund and A. Bos. 2005. A Model-Based Approach to Sequential Fault Diagnosis. In IEEE Autotestcon. IEEE 621--627. 10.1109\/AUTEST.2005.1609208","DOI":"10.1109\/AUTEST.2005.1609208"},{"key":"e_1_3_2_1_71_1","doi-asserted-by":"publisher","DOI":"10.1145\/2846696.2846708"},{"key":"e_1_3_2_1_72_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2012.2189915"},{"key":"e_1_3_2_1_73_1","volume-title":"Proceedings of ACIS. AISeL, 10 pages. https:\/\/aisel.aisnet.org\/acis2004\/78","author":"Rosemann Michael","year":"2004","unstructured":"Michael Rosemann, Iris Vessey, Ron Weber, and Boris Wyssusek. 2004. On the Applicability of the Bunge-Wand-Weber Ontology to Enterprise Systems Requirements. In Proceedings of ACIS. AISeL, 10 pages. https:\/\/aisel.aisnet.org\/acis2004\/78"},{"key":"e_1_3_2_1_74_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cosrev.2015.03.001"},{"volume-title":"Analysis and Design of Cyber-Physical Systems: A Hybrid Control Systems Approach","author":"Sanfelice R. G.","key":"e_1_3_2_1_75_1","unstructured":"R. G. Sanfelice. 2015. Analysis and Design of Cyber-Physical Systems: A Hybrid Control Systems Approach. In CRC Press. 3--31. https:\/\/hybrid.soe.ucsc.edu\/sites\/default\/files\/preprints\/105.pdf"},{"key":"e_1_3_2_1_76_1","doi-asserted-by":"publisher","DOI":"10.1145\/378795.378864"},{"key":"e_1_3_2_1_77_1","unstructured":"Robert W. Sebesta. 2001. Concepts of Programming Languages. Pearson."},{"key":"e_1_3_2_1_78_1","doi-asserted-by":"publisher","DOI":"10.1145\/2968456.2974012"},{"key":"e_1_3_2_1_79_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jvlc.2004.01.006"},{"key":"e_1_3_2_1_80_1","doi-asserted-by":"publisher","DOI":"10.1145\/3354166.3354182"},{"key":"e_1_3_2_1_81_1","volume-title":"Zorro: Zero Downtime in Cyber-Physical Systems. https:\/\/zorro-project.nl.","author":"Mari\u00eblle Stoelinga","year":"2023","unstructured":"Mari\u00eblle Stoelinga et al. 2023. Zorro: Zero Downtime in Cyber-Physical Systems. https:\/\/zorro-project.nl."},{"key":"e_1_3_2_1_82_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-01648-6_35"},{"key":"e_1_3_2_1_83_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.iotcps.2021.12.002"},{"key":"e_1_3_2_1_84_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-64930-6_17"},{"key":"e_1_3_2_1_85_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2022.111507"},{"key":"e_1_3_2_1_86_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.60316"},{"key":"e_1_3_2_1_87_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-23669-3"},{"key":"e_1_3_2_1_88_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICIT46573.2021.9453575"},{"key":"e_1_3_2_1_89_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2017.2734091"},{"key":"e_1_3_2_1_90_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSSS.2012.355"},{"key":"e_1_3_2_1_91_1","doi-asserted-by":"publisher","DOI":"10.1109\/MODELS.2017.16"},{"key":"e_1_3_2_1_92_1","doi-asserted-by":"publisher","DOI":"10.1145\/3141842.3141843"},{"key":"e_1_3_2_1_93_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-11653-2_4"}],"event":{"name":"MODELS Companion '24: ACM\/IEEE 27th International Conference on Model Driven Engineering Languages and Systems","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","Johannes Kepler University Linz","IEEE CS"],"location":"Linz Austria","acronym":"MODELS Companion '24"},"container-title":["Proceedings of the ACM\/IEEE 27th International Conference on Model Driven Engineering Languages and Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3652620.3688348","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3652620.3688348","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T01:10:15Z","timestamp":1750295415000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3652620.3688348"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,9,22]]},"references-count":92,"alternative-id":["10.1145\/3652620.3688348","10.1145\/3652620"],"URL":"https:\/\/doi.org\/10.1145\/3652620.3688348","relation":{},"subject":[],"published":{"date-parts":[[2024,9,22]]},"assertion":[{"value":"2024-10-31","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}