{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,9]],"date-time":"2025-10-09T18:14:05Z","timestamp":1760033645688,"version":"build-2065373602"},"reference-count":93,"publisher":"Association for Computing Machinery (ACM)","issue":"OOPSLA2","funder":[{"DOI":"10.13039\/501100008530","name":"FEDER","doi-asserted-by":"crossref","award":["2025.00002.HPCVLAB.ISTUL, POR011PRE"],"award-info":[{"award-number":["2025.00002.HPCVLAB.ISTUL, POR011PRE"]}],"id":[{"id":"10.13039\/501100008530","id-type":"DOI","asserted-by":"crossref"}]},{"name":"FCT","award":["LISBOA2030-FEDER-00663700"],"award-info":[{"award-number":["LISBOA2030-FEDER-00663700"]}]},{"name":"Funda\uc3a7\uc3a3o para a Ciencia e Tecnologia","award":["UID\/00408\/2025"],"award-info":[{"award-number":["UID\/00408\/2025"]}]},{"name":"Funda\uc3a7\uc3a3o para a Ci\uc3aancia e Tecnologia","award":["SFRH\/BD\/151469\/2021"],"award-info":[{"award-number":["SFRH\/BD\/151469\/2021"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["Proc. ACM Program. Lang."],"published-print":{"date-parts":[[2025,10,9]]},"abstract":"<jats:p>Component-based robot software frameworks, such as the Robot Operating System (ROS), allow developers to quickly compose and execute systems by focusing on configuring and integrating reusable, off-the-shelf components. However, these components often lack documentation on how to configure and integrate them correctly. Even when documentation exists, its natural language specifications are not enforced, resulting in misconfigurations that lead to unpredictable and potentially dangerous robot behaviors. In this work, we introduce ROSpec, a ROS-tailored domain-specific language designed to specify and verify component configurations and their integration. ROSpec's design is grounded in ROS domain concepts and informed by a prior empirical study on misconfigurations, allowing the language to provide a usable and expressive way of specifying and detecting misconfigurations. At a high level, ROSpec verifies the correctness of argument and component configurations, ensures the correct integration of components by checking their communication properties, and checks if configurations respect the assumptions and constraints of their deployment context. We demonstrate ROSpec's ability to specify and verify components by modeling a medium-sized warehouse robot with 19 components, and by manually analyzing, categorizing, and implementing partial specifications for components from a dataset of 182 misconfiguration questions extracted from a robotics Q&amp;A platform.<\/jats:p>","DOI":"10.1145\/3763169","type":"journal-article","created":{"date-parts":[[2025,10,9]],"date-time":"2025-10-09T08:51:31Z","timestamp":1759999891000},"page":"3313-3341","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["ROSpec: A Domain-Specific Language for ROS-Based Robot Software"],"prefix":"10.1145","volume":"9","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-0154-8989","authenticated-orcid":false,"given":"Paulo","family":"Canelas","sequence":"first","affiliation":[{"name":"School of Computer Science, Carnegie Mellon University, Pittsburgh, USA"},{"name":"LASIGE, University of Lisbon, Lisbon, Portugal"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7828-622X","authenticated-orcid":false,"given":"Bradley","family":"Schmerl","sequence":"additional","affiliation":[{"name":"School of Computer Science, Carnegie Mellon University, Pittsburgh, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0879-4015","authenticated-orcid":false,"given":"Alcides","family":"Fonseca","sequence":"additional","affiliation":[{"name":"LASIGE, University of Lisbon, Lisbon, Portugal"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9785-324X","authenticated-orcid":false,"given":"Christopher S.","family":"Timperley","sequence":"additional","affiliation":[{"name":"School of Computer Science, Carnegie Mellon University, Pittsburgh, USA"}]}],"member":"320","published-online":{"date-parts":[[2025,10,9]]},"reference":[{"key":"e_1_2_2_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST46399.2020.00020"},{"key":"e_1_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA46639.2022.9812349"},{"key":"e_1_2_2_3_1","unstructured":"Robert Allen. 1997. A Formal Approach to Software Architecture. Ph. D. Dissertation. Carnegie Mellon Univeristy School of Computer Science. Issued as CMU Technical Report CMU-CS-97-144"},{"key":"e_1_2_2_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-41610-1_160-1"},{"key":"e_1_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/IRC.2019.00118"},{"key":"e_1_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/3150227"},{"key":"e_1_2_2_7_1","doi-asserted-by":"crossref","unstructured":"G\u00e9rard Berry. 2000. The foundations of Esterel. In Proof Language and Interaction Essays in Honour of Robin Milner Gordon D. Plotkin Colin Stirling and Mads Tofte (Eds.). 425\u2013454.","DOI":"10.7551\/mitpress\/5641.003.0021"},{"key":"e_1_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2001.933002"},{"key":"e_1_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2024.3444697"},{"key":"e_1_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/3387939.3391591"},{"key":"e_1_2_2_11_1","doi-asserted-by":"publisher","DOI":"10.1184\/R1\/29087072.v1"},{"key":"e_1_2_2_12_1","doi-asserted-by":"publisher","unstructured":"Paulo Canelas Bradley Schmerl Alcides Fonseca and Christopher Timperley. 2025. Artifact for \"rospec: A Domain-Specific Language for ROS-based Robot Software\". https:\/\/doi.org\/10.5281\/zenodo.15722060 10.5281\/zenodo.15722060","DOI":"10.5281\/zenodo.15722060"},{"key":"e_1_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/3650212.3680350"},{"key":"e_1_2_2_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA57147.2024.10611413"},{"key":"e_1_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/3526071.3527521"},{"key":"e_1_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/3460319.3464810"},{"key":"e_1_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.21105\/JOSS.00456"},{"key":"e_1_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/MRA.2011.2181749"},{"key":"e_1_2_2_19_1","first-page":"3","article-title":"Reducing the Barrier to Entry of Complex Robotic Software: a MoveIt! Case Study","author":"Coleman David","year":"2014","unstructured":"David Coleman, Ioan A. \u0218ucan, Sachin Chitta, and Nikolaus Correll. 2014. Reducing the Barrier to Entry of Complex Robotic Software: a MoveIt! Case Study. Journal of Software Engineering for Robotics, 3\u201316. arxiv:1404.3785","journal-title":"Journal of Software Engineering for Robotics"},{"key":"e_1_2_2_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/3649835"},{"key":"e_1_2_2_21_1","unstructured":"Jo\u00e3o Pedro Vieira David. 2021. Improving Machine Learning Pipeline Creation using Visual Programming and Static Analysis. Master\u2019s thesis. Universidade de Lisboa."},{"key":"e_1_2_2_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"e_1_2_2_23_1","volume-title":"International Workshop on UML and AADL. 1\u201310","author":"Delanote Didier","year":"2007","unstructured":"Didier Delanote, Stefan Van Baelen, Wouter Joosen, and Yolande Berbers. 2007. Using AADL in model driven development. In International Workshop on UML and AADL. 1\u201310."},{"key":"e_1_2_2_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-34327-8_16"},{"key":"e_1_2_2_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/3597503.3639206"},{"key":"e_1_2_2_26_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2019.02.024"},{"key":"e_1_2_2_27_1","volume-title":"Gluch","author":"Feiler Peter H.","year":"2012","unstructured":"Peter H. Feiler and David P. Gluch. 2012. Model-Based Engineering with AADL - An Introduction to the SAE Architecture Analysis and Design Language. Addison-Wesley. isbn:978-0-321-88894-5"},{"key":"e_1_2_2_28_1","volume-title":"ROSMonitoring: A Runtime Verification Framework for ROS","author":"Ferrando Angelo","unstructured":"Angelo Ferrando, Rafael C. Cardoso, Michael Fisher, Davide Ancona, Luca Franceschini, and Viviana Mascardi. 2020. ROSMonitoring: A Runtime Verification Framework for ROS. Springer International Publishing, 387\u2013399."},{"key":"e_1_2_2_29_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-58115-2_2"},{"key":"e_1_2_2_30_1","volume-title":"Caldwell","author":"Frigerio Marco","year":"2013","unstructured":"Marco Frigerio, Jonas Buchli, and Darwin G. Caldwell. 2013. A Domain Specific Language for kinematic models and fast implementations of robot dynamics algorithms. arxiv:1301.7190."},{"key":"e_1_2_2_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE48619.2023.00132"},{"key":"e_1_2_2_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/3729327"},{"key":"e_1_2_2_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/3368089.3409743"},{"key":"e_1_2_2_34_1","volume-title":"Acme: Architectural Description of Component-Based Systems. In Foundations of Component-Based Systems, Gary T","author":"Garlan David","year":"2000","unstructured":"David Garlan, Robert T. Monroe, and David Wile. 2000. Acme: Architectural Description of Component-Based Systems. In Foundations of Component-Based Systems, Gary T. Leavens and Murali Sitaraman (Eds.). Cambridge University Press, 47\u201368."},{"key":"e_1_2_2_35_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-36575-3_22"},{"key":"e_1_2_2_36_1","doi-asserted-by":"publisher","unstructured":"Nicolas Gobillot Charles Lesire and David Doose. 2014. A Modeling Framework for Software Architecture Specification and Validation. In Simulation Modeling and Programming for Autonomous Robots. 303\u2013314. https:\/\/doi.org\/10.1007\/978-3-319-11900-7_26 10.1007\/978-3-319-11900-7_26","DOI":"10.1007\/978-3-319-11900-7_26"},{"key":"e_1_2_2_37_1","unstructured":"Christopher Hahn Frederik Schmitt Julia J. Tillman Niklas Metzger Julian Siber and Bernd Finkbeiner. 2022. Formal Specifications from Natural Language. arxiv:2206.01962. arxiv:2206.01962"},{"key":"e_1_2_2_38_1","doi-asserted-by":"publisher","DOI":"10.1109\/5.97300"},{"key":"e_1_2_2_39_1","doi-asserted-by":"publisher","DOI":"10.1109\/MCOM.2018.1700906"},{"key":"e_1_2_2_40_1","doi-asserted-by":"publisher","DOI":"10.48550\/ARXIV.2402.05399"},{"key":"e_1_2_2_41_1","doi-asserted-by":"publisher","DOI":"10.1109\/LRA.2023.3280810"},{"key":"e_1_2_2_42_1","volume-title":"ROSRV: Runtime Verification for Robots. In Runtime Verification. 247\u2013254. isbn:978-3-319-11164-3","author":"Huang Jeff","year":"2014","unstructured":"Jeff Huang, Cansu Erdogan, Yi Zhang, Brandon Moore, Qingzhou Luo, Aravind Sundaresan, and Grigore Rosu. 2014. ROSRV: Runtime Verification for Robots. In Runtime Verification. 247\u2013254. isbn:978-3-319-11164-3"},{"key":"e_1_2_2_43_1","volume-title":"Investigating Architecture Description Languages (ADLs) A Systematic Literature Review. Master\u2019s thesis","author":"Hussain Sajjad","unstructured":"Sajjad Hussain. 2013. Investigating Architecture Description Languages (ADLs) A Systematic Literature Review. Master\u2019s thesis. Link\u00f6ping University, Software and Systems, The Institute of Technology."},{"key":"e_1_2_2_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/3236024.3236035"},{"key":"e_1_2_2_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/3408988"},{"key":"e_1_2_2_46_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSME46990.2020.00048"},{"key":"e_1_2_2_47_1","doi-asserted-by":"publisher","DOI":"10.1109\/MTS.2024.3372605"},{"key":"e_1_2_2_48_1","doi-asserted-by":"publisher","DOI":"10.1016\/J.COSE.2025.104474"},{"key":"e_1_2_2_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/3591283"},{"key":"e_1_2_2_50_1","unstructured":"Nico Lehmann Rose Kunkel Jordan Brown Jean Yang Niki Vazou Nadia Polikarpova Deian Stefan and Ranjit Jhala. 2021. $STORM$: Refinement types for secure web applications. In $USENIX$ Symposium on Operating Systems Design and Implementation). 441\u2013459."},{"key":"e_1_2_2_51_1","doi-asserted-by":"publisher","DOI":"10.5220\/0011850200003488"},{"key":"e_1_2_2_52_1","volume-title":"International Conference on Software Engineering. 204\u2013216","author":"Lian Xinyu","year":"2024","unstructured":"Xinyu Lian, Yinfang Chen, Runxiang Cheng, Jie Huang, Parth Thakkar, Minjia Zhang, and Tianyin Xu. 2024. Large Language Models as Configuration Validators. In International Conference on Software Engineering. 204\u2013216."},{"key":"e_1_2_2_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/3448128"},{"key":"e_1_2_2_54_1","volume-title":"Antonio Navarro Perez","author":"Look Markus","year":"2014","unstructured":"Markus Look, Antonio Navarro Perez, Jan Oliver Ringert, Bernhard Rumpe, and Andreas Wortmann. 2014. Black-box Integration of Heterogeneous Modeling Languages for Cyber-Physical Systems. arxiv:1409.2388."},{"key":"e_1_2_2_55_1","doi-asserted-by":"publisher","DOI":"10.1109\/SEAMS.2013.6595501"},{"key":"e_1_2_2_56_1","doi-asserted-by":"publisher","unstructured":"Steven Macenski Tully Foote Brian Gerkey Chris Lalancette and William Woodall. 2022. Robot Operating System 2: Design architecture and uses in the wild. Science Robotics https:\/\/doi.org\/10.1126\/scirobotics.abm6074 10.1126\/scirobotics.abm6074","DOI":"10.1126\/scirobotics.abm6074"},{"key":"e_1_2_2_57_1","doi-asserted-by":"publisher","DOI":"10.1109\/RoSE52553.2021.00007"},{"key":"e_1_2_2_58_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.825767"},{"key":"e_1_2_2_59_1","doi-asserted-by":"publisher","DOI":"10.5772\/5761"},{"key":"e_1_2_2_60_1","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2003.1249235"},{"key":"e_1_2_2_61_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSA.2017.21"},{"key":"e_1_2_2_62_1","first-page":"75","article-title":"A Survey on Domain-Specific Modeling and Languages in Robotics","author":"Nordmann Arne","year":"2016","unstructured":"Arne Nordmann, Nico Hochgeschwender, Dennis Leroy Wigand, and Sebastian Wrede. 2016. A Survey on Domain-Specific Modeling and Languages in Robotics. Journal of Software Engineering in Robotics, 75\u201399.","journal-title":"Journal of Software Engineering in Robotics"},{"key":"e_1_2_2_63_1","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2017.8202229"},{"key":"e_1_2_2_64_1","doi-asserted-by":"publisher","unstructured":"Francisco J. Ortiz Diego Alonso Francisca Rosique Francisco S\u00e1nchez-Ledesma and Juan Angel Pastor. 2014. A Component-Based Meta-Model and Framework in the Model Driven Toolchain C-Forge. In Simulation Modeling and Programming for Autonomous Robots. 340\u2013351. https:\/\/doi.org\/10.1007\/978-3-319-11900-7_29 10.1007\/978-3-319-11900-7_29","DOI":"10.1007\/978-3-319-11900-7_29"},{"key":"e_1_2_2_65_1","doi-asserted-by":"publisher","DOI":"10.1007\/1-4020-8141-3_34"},{"key":"e_1_2_2_66_1","doi-asserted-by":"publisher","DOI":"10.1109\/SEAA.2013.34"},{"key":"e_1_2_2_67_1","doi-asserted-by":"publisher","DOI":"10.1145\/2908080.2908093"},{"key":"e_1_2_2_68_1","unstructured":"Proteus. [n. d.]. I\u2019m Amazon\u2019s first autonomous robot. Follow me around on my typical workday (watercooler break included).. https:\/\/www.aboutamazon.com\/news\/operations\/amazon-robotics-autonomous-robot-proteus-warehouse-packages"},{"key":"e_1_2_2_69_1","volume-title":"ICRA Workshop on Open Source Software, 1\u20136.","author":"Quigley Morgan","year":"2009","unstructured":"Morgan Quigley, Ken Conle, Brian Gerkey, Josh Faust, Tully Foote, Jeremy Leibs, Rob Wheeler, and Andrew Ng. 2009. ROS: an open-source Robot Operating System. ICRA Workshop on Open Source Software, 1\u20136."},{"key":"e_1_2_2_70_1","doi-asserted-by":"publisher","unstructured":"Akshay Rajhans Shang-Wen Cheng Bradley Schmerl David Garlan Bruce Krogh Clarence Agbi and Ajinkya Bhave. 2009. An Architectural Approach to the Design and Analysis of Cyber-Physical Systems. Electronic Communication of the European Association of Software Science and Technology https:\/\/doi.org\/10.14279\/tuj.eceasst.21.286 10.14279\/tuj.eceasst.21.286","DOI":"10.14279\/tuj.eceasst.21.286"},{"key":"e_1_2_2_71_1","doi-asserted-by":"publisher","DOI":"10.1109\/IRC.2017.21"},{"key":"e_1_2_2_72_1","volume-title":"Temporal logic. 3","author":"Rescher Nicholas","unstructured":"Nicholas Rescher and Alasdair Urquhart. 2012. Temporal logic. 3, Springer Science & Business Media."},{"key":"e_1_2_2_73_1","doi-asserted-by":"publisher","DOI":"10.1145\/1375581.1375602"},{"key":"e_1_2_2_74_1","unstructured":"ROS-Industrial. 2021. Current members - ROS-industrial. https:\/\/rosindustrial.org\/ric\/current-members\/"},{"key":"e_1_2_2_75_1","doi-asserted-by":"publisher","DOI":"10.1145\/2737166.2737167"},{"key":"e_1_2_2_76_1","doi-asserted-by":"publisher","DOI":"10.1109\/ROSE52553.2021.00013"},{"key":"e_1_2_2_77_1","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2017.8206237"},{"key":"e_1_2_2_78_1","unstructured":"Amita Singh Fabian Quint Patrick Bertram and Martin Ruskowski. 2019. A Framework for Semantic Description and Interoperability across Cyber-Physical Systems. International Journal on Advances in Intelligent Systems 70\u201381."},{"key":"e_1_2_2_79_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSA53651.2022.00019"},{"key":"e_1_2_2_80_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-024-10440-0"},{"key":"e_1_2_2_81_1","doi-asserted-by":"publisher","DOI":"10.1109\/CASE56687.2023.10260660"},{"key":"e_1_2_2_82_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-02056-8_13"},{"key":"e_1_2_2_83_1","unstructured":"Aaron Turon. [n. d.]. Rust\u2019s language ergonomics initiative. https:\/\/blog.rust-lang.org\/2017\/03\/02\/lang-ergonomics.html"},{"key":"e_1_2_2_84_1","doi-asserted-by":"publisher","DOI":"10.1145\/2628136.2628161"},{"key":"e_1_2_2_85_1","doi-asserted-by":"publisher","DOI":"10.1145\/2908080.2908110"},{"key":"e_1_2_2_86_1","volume-title":"Ka Lok Man, and Danny Hughes","author":"Wan Kaiyu","year":"2010","unstructured":"Kaiyu Wan, Ka Lok Man, and Danny Hughes. 2010. Specification, Analyzing Challenges and Approaches for Cyber-Physical Systems (CPS). Engineering Letters."},{"key":"e_1_2_2_87_1","first-page":"65030","article-title":"Grammar Prompting for Domain-Specific Language Generation with Large Language Models","volume":"36","author":"Wang Bailin","year":"2023","unstructured":"Bailin Wang, Zi Wang, Xuezhi Wang, Yuan Cao, Rif A. Saurous, and Yoon Kim. 2023. Grammar Prompting for Domain-Specific Language Generation with Large Language Models. In Advances in Neural Information Processing Systems. 36, 65030\u201365055. https:\/\/proceedings.neurips.cc\/paper_files\/paper\/2023\/file\/cd40d0d65bfebb894ccc9ea822b47fa8-Paper-Conference.pdf","journal-title":"Advances in Neural Information Processing Systems."},{"key":"e_1_2_2_88_1","doi-asserted-by":"publisher","DOI":"10.1145\/3158151"},{"key":"e_1_2_2_89_1","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2009.5354161"},{"key":"e_1_2_2_90_1","doi-asserted-by":"publisher","DOI":"10.1109\/WICSA.2005.15"},{"key":"e_1_2_2_91_1","doi-asserted-by":"publisher","DOI":"10.1145\/292540.292560"},{"key":"e_1_2_2_92_1","doi-asserted-by":"publisher","DOI":"10.1145\/3691620.3695550"},{"key":"e_1_2_2_93_1","doi-asserted-by":"publisher","DOI":"10.1145\/3485517"}],"container-title":["Proceedings of the ACM on Programming Languages"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3763169","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,9]],"date-time":"2025-10-09T17:44:49Z","timestamp":1760031889000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3763169"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,10,9]]},"references-count":93,"journal-issue":{"issue":"OOPSLA2","published-print":{"date-parts":[[2025,10,9]]}},"alternative-id":["10.1145\/3763169"],"URL":"https:\/\/doi.org\/10.1145\/3763169","relation":{},"ISSN":["2475-1421"],"issn-type":[{"value":"2475-1421","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,10,9]]},"assertion":[{"value":"2025-03-25","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2025-08-12","order":2,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2025-10-09","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}