{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,3]],"date-time":"2025-11-03T13:47:28Z","timestamp":1762177648466,"version":"3.41.0"},"reference-count":53,"publisher":"Association for Computing Machinery (ACM)","issue":"1","license":[{"start":{"date-parts":[[2024,1,10]],"date-time":"2024-01-10T00:00:00Z","timestamp":1704844800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Open Research Fund of Anhui Province Engineering Laboratory for Big Data Analysis and Early Warning Technology of Coal Mine Safety, China","award":["CSBD2022-ZD05"],"award-info":[{"award-number":["CSBD2022-ZD05"]}]},{"DOI":"10.13039\/501100012226","name":"Fundamental Research Funds for the Central Universities","doi-asserted-by":"crossref","award":["GK202205039"],"award-info":[{"award-number":["GK202205039"]}],"id":[{"id":"10.13039\/501100012226","id-type":"DOI","asserted-by":"crossref"}]},{"DOI":"10.13039\/501100007128","name":"Natural Science Foundation of Shaanxi Province","doi-asserted-by":"crossref","award":["2021JM-205"],"award-info":[{"award-number":["2021JM-205"]}],"id":[{"id":"10.13039\/501100007128","id-type":"DOI","asserted-by":"crossref"}]},{"name":"Open Research Fund of Key Laboratory of Embedded System and Service Computing (Tongji University), Ministry of Education, China","award":["ESSCKF2023-02"],"award-info":[{"award-number":["ESSCKF2023-02"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Embed. Comput. Syst."],"published-print":{"date-parts":[[2024,1,31]]},"abstract":"<jats:p>Nowadays, Electronic Toll Collection (ETC) control systems have been widely adopted to smoothen traffic flow on highways. However, as it is a complex business interaction system, there are inevitably flaws in its control logic process, such as the problem of vehicle fee evasion. We find that there is more than one way for vehicles to evade fees. This shows that it is difficult to ensure the completeness of its design. Therefore, it is necessary to adopt a novel formal method to model and analyze its design, detect flaws, and modify it. In this article, a Colored Petri net (CPN) is introduced to establish its model. To analyze and modify the system model more efficiently, a dynamic slicing method of CPN is proposed. First, a static slice is obtained from the static slicing criterion by backtracking. Second, considering all binding elements that can be enabled under the initial marking, a forward slice is obtained from the dynamic slicing criterion by traversing. Third, the dynamic slicing of CPN is obtained by taking the intersection of both slices. The proposed dynamic slicing method of CPN can be used to formalize and verify the behavior properties of an ETC control system, and the flaws can be detected effectively. As a case study, the flaw about a vehicle that has not completed the payment following the previous vehicle to pass the railing is detected by the proposed method.<\/jats:p>","DOI":"10.1145\/3633450","type":"journal-article","created":{"date-parts":[[2023,11,27]],"date-time":"2023-11-27T14:50:05Z","timestamp":1701096605000},"page":"1-27","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Modeling and Analysis of ETC Control System with Colored Petri Net and Dynamic Slicing"],"prefix":"10.1145","volume":"23","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-1037-210X","authenticated-orcid":false,"given":"Wangyang","family":"Yu","sequence":"first","affiliation":[{"name":"Key Laboratory of Modern Teaching Technology, Ministry of Education, China and The School of Computer Science, Shaanxi Normal University, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7686-8242","authenticated-orcid":false,"given":"Jinming","family":"Kong","sequence":"additional","affiliation":[{"name":"Puyang Vocational and Technical College, China and Puyang Institute of Technology, Henan University, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2178-6201","authenticated-orcid":false,"given":"Zhijun","family":"Ding","sequence":"additional","affiliation":[{"name":"The Department of Computer Science and Engineering, Tongji University, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1030-8311","authenticated-orcid":false,"given":"Xiaojun","family":"Zhai","sequence":"additional","affiliation":[{"name":"The School of Computer Science and Electronic Engineering, University of Essex, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5999-3658","authenticated-orcid":false,"given":"Zhiqiang","family":"Li","sequence":"additional","affiliation":[{"name":"The School of Computer Science, Shaanxi Normal University, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7787-5647","authenticated-orcid":false,"given":"Qi","family":"Guo","sequence":"additional","affiliation":[{"name":"The School of Computer Science, Shaanxi Normal University, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2024,1,10]]},"reference":[{"key":"e_1_3_2_2_2","doi-asserted-by":"crossref","first-page":"549","DOI":"10.1007\/978-981-13-0776-8_51","volume-title":"Nanoelectronics, Circuits, and Communication Systems","author":"Charan E. H.","year":"2019","unstructured":"E. H. Charan, I. Pal, A. Sinha, R. K. R. Baro, and V. Nath. 2019. Electronic toll collection system using barcode technology. In Nanoelectronics, Circuits, and Communication Systems. Springer, 549\u2013556."},{"key":"e_1_3_2_3_2","first-page":"79","volume-title":"Proceedings of the 2nd International Conference for Convergence in Technology (I2CT\u201917)","author":"Desai M. M.","year":"2017","unstructured":"M. M. Desai and J. J. Patoliya. 2017. Smart toll collection system using embedded Linux environment. In Proceedings of the 2nd International Conference for Convergence in Technology (I2CT\u201917). IEEE, 79\u201383."},{"key":"e_1_3_2_4_2","first-page":"1","volume-title":"Proceedings of the International Carnahan Conference on Security Technology (ICCST\u201919)","author":"Ahmed S.","year":"2019","unstructured":"S. Ahmed, T. M. Tan, A. M. Mondol, Z. Alam, N. Nawal, and J. Uddin. 2019. Automated toll collection system based on RFID sensor. In Proceedings of the International Carnahan Conference on Security Technology (ICCST\u201919). IEEE, 1\u20133."},{"issue":"3","key":"e_1_3_2_5_2","first-page":"30","article-title":"Behavior analysis and measure research on highway ETC toll evasion","volume":"16","author":"Tan Y.","year":"2014","unstructured":"Y. Tan and X. Li. 2014. Behavior analysis and measure research on highway ETC toll evasion. Technol. Econ. Areas Commun. 16, 3 (2014), 30\u201333.","journal-title":"Technol. Econ. Areas Commun."},{"issue":"18","key":"e_1_3_2_6_2","first-page":"150","article-title":"The constitution and advantages and disadvantages of ETC electronic toll collection system on expressway","author":"Su C.","year":"2020","unstructured":"C. Su. 2020. The constitution and advantages and disadvantages of ETC electronic toll collection system on expressway. World Transport.18 (2020), 150\u2013151.","journal-title":"World Transport."},{"issue":"19","key":"e_1_3_2_7_2","first-page":"350","article-title":"Ways and countermeasures of vehicle escaping fee in expressway toll station","author":"Dong Q.","year":"2019","unstructured":"Q. Dong. 2019. Ways and countermeasures of vehicle escaping fee in expressway toll station. Modern Econ. Inform.19 (2019), 350.","journal-title":"Modern Econ. Inform."},{"issue":"35","key":"e_1_3_2_8_2","first-page":"279","article-title":"A brief talk on the behavior of ETC fee evasion on expressway and its countermeasures","author":"Zhao S.","year":"2014","unstructured":"S. Zhao. 2014. A brief talk on the behavior of ETC fee evasion on expressway and its countermeasures. Sci. Technol. Innovat. Appl.35 (2014), 279.","journal-title":"Sci. Technol. Innovat. Appl."},{"key":"e_1_3_2_9_2","first-page":"38","article-title":"The main forms and prevention measures of highway vehicle escaping toll","volume":"3","author":"Qiu M.","year":"2011","unstructured":"M. Qiu. 2011. The main forms and prevention measures of highway vehicle escaping toll. Western China Commun. Sci. Technol. 3 (2011), 38\u201342.","journal-title":"Western China Commun. Sci. Technol."},{"issue":"14","key":"e_1_3_2_10_2","first-page":"128","article-title":"Analysis of expressway vehicle fee evasion types and countermeasures","author":"Shao H.","year":"2015","unstructured":"H. Shao. 2015. Analysis of expressway vehicle fee evasion types and countermeasures. New Econ.14 (2015), 128.","journal-title":"New Econ."},{"issue":"2","key":"e_1_3_2_11_2","first-page":"95","article-title":"Patent survey on electronic toll collection (ETC) technologies","volume":"16","author":"Zhu L.","year":"2019","unstructured":"L. Zhu and L. He. 2019. Patent survey on electronic toll collection (ETC) technologies. China Invent. Patent 16, S2 (2019), 95\u201399.","journal-title":"China Invent. Patent"},{"key":"e_1_3_2_12_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICCSIT.2010.5564018"},{"key":"e_1_3_2_13_2","doi-asserted-by":"publisher","DOI":"10.1109\/CCCM.2009.5268110"},{"key":"e_1_3_2_14_2","doi-asserted-by":"publisher","DOI":"10.1109\/TVT.2019.2931883"},{"issue":"3","key":"e_1_3_2_15_2","first-page":"1602","article-title":"Electronic toll collection system based on radio frequency identification system","volume":"8","author":"Abdulla R.","year":"2018","unstructured":"R. Abdulla, A. Abdillahi, and M. K. Abbas. 2018. Electronic toll collection system based on radio frequency identification system. Int. J. Electr. Comput. Eng. 8, 3 (2018), 1602\u20131610.","journal-title":"Int. J. Electr. Comput. Eng."},{"key":"e_1_3_2_16_2","doi-asserted-by":"publisher","DOI":"10.1109\/GUCON.2018.8675073"},{"issue":"4","key":"e_1_3_2_17_2","first-page":"16","article-title":"Escaped toll analysis of ETC system customer data based on NN model of stable GA","volume":"14","author":"Diao H.","year":"2006","unstructured":"H. Diao. 2006. Escaped toll analysis of ETC system customer data based on NN model of stable GA. Comput. Info. Technol. 14, 4 (2006), 16\u201319.","journal-title":"Comput. Info. Technol."},{"issue":"4","key":"e_1_3_2_18_2","first-page":"71","article-title":"WEKA in studying expressway toll evasion by changing cards","volume":"36","author":"Xia S.","year":"2013","unstructured":"S. Xia, H. Qu, and Y. Tang. 2013. WEKA in studying expressway toll evasion by changing cards. J. Shanghai Ship Shipping Res. Inst. 36, 4 (2013), 71\u201376.","journal-title":"J. Shanghai Ship Shipping Res. Inst."},{"key":"e_1_3_2_19_2","first-page":"59","article-title":"Clustering based identification and analysis of defrauding of highway toll","author":"Chu L.","year":"2013","unstructured":"L. Chu, X. Guo, G. Song, J. Wu, and K. Xie. 2013. Clustering based identification and analysis of defrauding of highway toll. Proceedings of the 8th China Intelligent Transportation Annual Conference. 59\u201366.","journal-title":"Proceedings of the 8th China Intelligent Transportation Annual Conference"},{"issue":"19","key":"e_1_3_2_20_2","first-page":"2245","article-title":"Study on the prediction model of toll fraud behavior for highway pass card","volume":"10","author":"Zhao Y.","year":"2015","unstructured":"Y. Zhao, S. Wu, Z. Lin, and T. Chang. 2015. Study on the prediction model of toll fraud behavior for highway pass card. China Science. 10, 19 (2015), 2245\u20132251.","journal-title":"China Science."},{"key":"e_1_3_2_21_2","first-page":"621","volume-title":"Proceedings of the International Conference on Intelligent Transportation, Big Data and Smart City (ICITBS\u201920)","author":"Wang Y.","year":"2020","unstructured":"Y. Wang, F. Li, X. Cui, and L. Zhang. 2020. Research on types and data characteristics of freeway escape in henan province. In Proceedings of the International Conference on Intelligent Transportation, Big Data and Smart City (ICITBS\u201920). IEEE, 621\u2013625."},{"key":"e_1_3_2_22_2","volume-title":"The Study of Anti-defrauding in Network Expressway based on Data Mining","author":"Wu S.","year":"2016","unstructured":"S. Wu. 2016. The Study of Anti-defrauding in Network Expressway based on Data Mining. Ph.D. Dissertation. South China University of Technology."},{"key":"e_1_3_2_23_2","volume-title":"Research and Application of Data Mining in Highway Prevent evasion","author":"Chen B.","year":"2014","unstructured":"B. Chen. 2014. Research and Application of Data Mining in Highway Prevent evasion. Ph.D. Dissertation. South China University of Technology."},{"key":"e_1_3_2_24_2","volume-title":"Research and Application of Mining Vehicle Abnormal Behabior on Expressway Based on Traffic Big Data","author":"Ma Q.","year":"2019","unstructured":"Q. Ma. 2019. Research and Application of Mining Vehicle Abnormal Behabior on Expressway Based on Traffic Big Data. Ph.D. Dissertation. North China University of Technology."},{"key":"e_1_3_2_25_2","volume-title":"The Research and Application of Toll Audit in Networked Expressway based on Data Mining","author":"Li X.","year":"2014","unstructured":"X. Li. 2014. The Research and Application of Toll Audit in Networked Expressway based on Data Mining. Ph.D. Dissertation. South China University of Technology."},{"key":"e_1_3_2_26_2","volume-title":"Introduction to Formal Methods","author":"Zhang G.","year":"2015","unstructured":"G. Zhang. 2015. Introduction to Formal Methods. Tsinghua University Press."},{"issue":"3","key":"e_1_3_2_27_2","doi-asserted-by":"crossref","first-page":"3484","DOI":"10.1109\/TSMC.2020.3020588","article-title":"Special issue on recent advances in Petri nets, automata, and discrete-event hybrid systems","volume":"50","author":"Wisniewski R.","year":"2020","unstructured":"R. Wisniewski, M. Zhou, L. Gomes, M. P. Fanti, and R. Kumar. 2020. Special issue on recent advances in Petri nets, automata, and discrete-event hybrid systems. IEEE Trans. Syst. Man Cybernet.: Syst. 50, 3 (2020), 3484\u20133487.","journal-title":"IEEE Trans. Syst. Man Cybernet.: Syst."},{"issue":"3","key":"e_1_3_2_28_2","doi-asserted-by":"crossref","first-page":"597","DOI":"10.1109\/JAS.2020.1003207","article-title":"Deadlock-free supervisor design for robotic manufacturing cells with uncontrollable and unobservable events","volume":"8","author":"Huang B.","year":"2021","unstructured":"B. Huang, M. Zhou, C. Wang, A. Abusorrah, and Y. Al-Turki. 2021. Deadlock-free supervisor design for robotic manufacturing cells with uncontrollable and unobservable events. IEEE\/CAA J. Autom. Sinica 8, 3 (2021), 597\u2013605.","journal-title":"IEEE\/CAA J. Autom. Sinica"},{"issue":"5","key":"e_1_3_2_29_2","doi-asserted-by":"crossref","first-page":"953","DOI":"10.1109\/JAS.2021.1003964","article-title":"Control of non-deterministic systems with  \\(\\mu\\) -calculus specifications using quotienting","volume":"8","author":"Basu S.","year":"2021","unstructured":"S. Basu and R. Kumar. 2021. Control of non-deterministic systems with \\(\\mu\\) -calculus specifications using quotienting. IEEE\/CAA J. Autom. Sinica 8, 5 (2021), 953\u2013970.","journal-title":"IEEE\/CAA J. Autom. Sinica"},{"key":"e_1_3_2_30_2","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2016.2598287"},{"key":"e_1_3_2_31_2","doi-asserted-by":"publisher","DOI":"10.1002\/asjc.183"},{"key":"e_1_3_2_32_2","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2009.2034837"},{"issue":"3","key":"e_1_3_2_33_2","doi-asserted-by":"crossref","first-page":"327","DOI":"10.1109\/TSMC.2013.2248358","article-title":"Modeling and validating e-commerce business process based on Petri nets","volume":"44","author":"Yu W.","year":"2013","unstructured":"W. Yu, C. Yan, Z. Ding, C. Jiang, and M. Zhou. 2013. Modeling and validating e-commerce business process based on Petri nets. IEEE Trans. Syst. Man. Cybernet.: Syst. 44, 3 (2013), 327\u2013341.","journal-title":"IEEE Trans. Syst. Man. Cybernet.: Syst."},{"key":"e_1_3_2_34_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.future.2018.04.090"},{"key":"e_1_3_2_35_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.ress.2011.12.010"},{"key":"e_1_3_2_36_2","first-page":"226","volume-title":"Proceedings of the 19th International Conference on Sciences and Techniques of Automatic Control and Computer Engineering (STA\u201919)","author":"Farah K.","year":"2019","unstructured":"K. Farah, K. Chabir, and M. N. Abdelkrim. 2019. Colored Petri nets for modeling of networked control systems. In Proceedings of the 19th International Conference on Sciences and Techniques of Automatic Control and Computer Engineering (STA\u201919). IEEE, 226\u2013230."},{"key":"e_1_3_2_37_2","doi-asserted-by":"publisher","DOI":"10.1007\/b95112"},{"issue":"5","key":"e_1_3_2_38_2","first-page":"109.1\u2013109.32","article-title":"A survey of Petri nets slicing","volume":"51","author":"Khan Y. I.","year":"2019","unstructured":"Y. I. Khan, A. Konios, and N. Guelfi. 2019. A survey of Petri nets slicing. Comput. Surveys 51, 5 (2019), 109.1\u2013109.32.","journal-title":"Comput. Surveys"},{"key":"e_1_3_2_39_2","first-page":"789","volume-title":"Proceedings of the International Conference on Parallel Processing","author":"Chang C.","year":"1986","unstructured":"C. Chang and H. Wang. 1986. A slicing algorithm of concurrency modeling based on Petri nets. In Proceedings of the International Conference on Parallel Processing. 789\u2013792."},{"issue":"2","key":"e_1_3_2_40_2","first-page":"131","article-title":"A slicing-based approach to enhance Petri net reachability analysis","volume":"32","author":"Lee W. J.","year":"2000","unstructured":"W. J. Lee, S. D. Cha, Y. R. Kwon, and H. Kim. 2000. A slicing-based approach to enhance Petri net reachability analysis. J. Res. Pract. Info. Technol. 32, 2 (2000), 131\u2013143.","journal-title":"J. Res. Pract. Info. Technol."},{"key":"e_1_3_2_41_2","first-page":"56","volume-title":"Proceedings of the Workshop on FABPWS","author":"Rakow A.","year":"2007","unstructured":"A. Rakow. 2007. Slicing Petri nets. In Proceedings of the Workshop on FABPWS. Citeseer, 56\u201370."},{"key":"e_1_3_2_42_2","first-page":"436","volume-title":"Proceedings of the International Conference on Current Trends in Theory and Practice of Computer Science","author":"Rakow A.","year":"2008","unstructured":"A. Rakow. 2008. Slicing Petri nets with an application to workflow verification. In Proceedings of the International Conference on Current Trends in Theory and Practice of Computer Science. Springer, 436\u2013447."},{"key":"e_1_3_2_43_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2008.12.037"},{"key":"e_1_3_2_44_2","doi-asserted-by":"publisher","DOI":"10.1002\/asjc.1031"},{"key":"e_1_3_2_45_2","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2018.2862387"},{"key":"e_1_3_2_46_2","unstructured":"Y. Khan. 2014. Slicing high-level Petri nets. https:\/\/orbilu.uni.lu\/handle\/10993\/17465"},{"key":"e_1_3_2_47_2","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2022.3170094"},{"issue":"01","key":"e_1_3_2_48_2","first-page":"98","article-title":"Extended and improved slicing technologies for Petri nets","volume":"19","author":"Yu W.","year":"2013","unstructured":"W. Yu, C. Yan, Z. Ding, and X. Fang. 2013. Extended and improved slicing technologies for Petri nets. High Technol. Lett. 19, 01 (2013), 98\u2013104.","journal-title":"High Technol. Lett."},{"key":"e_1_3_2_49_2","unstructured":"CPN Tools homepage. [n.d.]. Retrieved from http:\/\/cpntools.org\/"},{"issue":"4","key":"e_1_3_2_50_2","doi-asserted-by":"crossref","first-page":"905","DOI":"10.1109\/JAS.2020.1003003","article-title":"Property preservation of Petri synthesis net based representation for embedded systems","volume":"8","author":"Xia C.","year":"2021","unstructured":"C. Xia and C. Li. 2021. Property preservation of Petri synthesis net based representation for embedded systems. IEEE\/CAA J. Autom. Sinica 8, 4 (2021), 905\u2013915.","journal-title":"IEEE\/CAA J. Autom. Sinica"},{"key":"e_1_3_2_51_2","doi-asserted-by":"publisher","DOI":"10.1109\/JAS.2020.1003527"},{"key":"e_1_3_2_52_2","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2020.2993376"},{"issue":"10","key":"e_1_3_2_53_2","doi-asserted-by":"crossref","first-page":"3685","DOI":"10.1109\/TSMC.2019.2906335","article-title":"Resource conflict checking and resolution controller design for cross-organization emergency response processes","volume":"50","author":"Zeng Q.","year":"2020","unstructured":"Q. Zeng, C. Liu, H. Duan, and M. Zhou. 2020. Resource conflict checking and resolution controller design for cross-organization emergency response processes. IEEE Trans. Syst. Man Cybernet.: Syst. 50, 10 (2020), 3685\u20133700.","journal-title":"IEEE Trans. Syst. Man Cybernet.: Syst."},{"key":"e_1_3_2_54_2","article-title":"A place-timed Petri net-based method to avoid deadlock and conflict in railway networks","author":"Luo J.","year":"2022","unstructured":"J. Luo, M. Zhou, and J. Q. Wang. 2022. A place-timed Petri net-based method to avoid deadlock and conflict in railway networks. IEEE Trans. Intell. Transport. Syst. 23, 8 (2022), 10763\u201310772.","journal-title":"IEEE Trans. Intell. Transport. Syst."}],"container-title":["ACM Transactions on Embedded Computing Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3633450","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3633450","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T22:54:01Z","timestamp":1750287241000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3633450"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,1,10]]},"references-count":53,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2024,1,31]]}},"alternative-id":["10.1145\/3633450"],"URL":"https:\/\/doi.org\/10.1145\/3633450","relation":{},"ISSN":["1539-9087","1558-3465"],"issn-type":[{"type":"print","value":"1539-9087"},{"type":"electronic","value":"1558-3465"}],"subject":[],"published":{"date-parts":[[2024,1,10]]},"assertion":[{"value":"2022-06-25","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2023-11-05","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2024-01-10","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}