{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T02:00:46Z","timestamp":1742954446915,"version":"3.40.3"},"publisher-location":"Cham","reference-count":56,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031626968"},{"type":"electronic","value":"9783031626975"}],"license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024]]},"DOI":"10.1007\/978-3-031-62697-5_12","type":"book-chapter","created":{"date-parts":[[2024,6,10]],"date-time":"2024-06-10T21:01:23Z","timestamp":1718053283000},"page":"219-238","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Coconut: Typestates for\u00a0Embedded Systems"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0009-0008-8033-1251","authenticated-orcid":false,"given":"Arwa Hameed","family":"Alsubhi","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9927-7875","authenticated-orcid":false,"given":"Ornela","family":"Dardha","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2024,6,11]]},"reference":[{"key":"12_CR1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139195881","volume-title":"Modeling in Event-B: System and Software Design","author":"JR Abrial","year":"2010","unstructured":"Abrial, J.R.: Modeling in Event-B: System and Software Design. Cambridge University Press, Cambridge (2010). https:\/\/doi.org\/10.1017\/CBO9781139195881"},{"key":"12_CR2","doi-asserted-by":"publisher","unstructured":"Alagar, V.S., Periyasamy, K.: Extended finite state machine. In: Specification of Software Systems. Springer, London (2011). https:\/\/doi.org\/10.1007\/978-0-85729-277-3_7","DOI":"10.1007\/978-0-85729-277-3_7"},{"key":"12_CR3","doi-asserted-by":"publisher","unstructured":"Aldrich, J., et al.: Permission-based programming languages (NIER Track). In: Proceedings of the 33rd International Conference on Software Engineering (ICSE), pp. 828\u2013831. ACM (2011). https:\/\/doi.org\/10.1145\/1985793.1985915","DOI":"10.1145\/1985793.1985915"},{"key":"12_CR4","unstructured":"Arduino: Arduino libraries (2024). https:\/\/www.arduino.cc\/reference\/en\/libraries\/"},{"key":"12_CR5","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2022.102844","volume":"221","author":"L Bacchiani","year":"2022","unstructured":"Bacchiani, L., Bravetti, M., Giunti, M., Mota, J., Ravara, A.: A Java typestate checker supporting inheritance. Sci. Comput. Program. 221, 102844 (2022). https:\/\/doi.org\/10.1016\/j.scico.2022.102844","journal-title":"Sci. Comput. Program."},{"key":"12_CR6","unstructured":"Bachin, A.: Better enums (2015\u20132019). http:\/\/aantron.github.io\/better-enums\/"},{"key":"12_CR7","series-title":"AISC","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1007\/978-3-319-97085-1_9","volume-title":"Robotics in Education","author":"R Balogh","year":"2019","unstructured":"Balogh, R., Obdr\u017e\u00e1lek, D.: Using finite state machines in introductory robotics. In: Lepuschitz, W., Merdan, M., Koppensteiner, G., Balogh, R., Obdr\u017e\u00e1lek, D. (eds.) RiE 2018. AISC, pp. 85\u201391. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-319-97085-1_9"},{"key":"12_CR8","unstructured":"Barr, M.: Programming Embedded Systems in C and C++. O\u2019Reilly (1999)"},{"key":"12_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1007\/978-3-642-03013-0_10","volume-title":"ECOOP 2009 \u2013 Object-Oriented Programming","author":"K Bierhoff","year":"2009","unstructured":"Bierhoff, K., Beckman, N.E., Aldrich, J.: Practical API protocol checking with access permissions. In: Drossopoulou, S. (ed.) ECOOP 2009. LNCS, vol. 5653, pp. 195\u2013219. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-03013-0_10"},{"key":"12_CR10","unstructured":"Biffle, C.L.: The Typestate Pattern in Rust (2019). http:\/\/cliffle.com\/blog\/rust-typestate\/"},{"key":"12_CR11","doi-asserted-by":"publisher","unstructured":"Bispo, J., Paulino, N., Sousa, L.M.: Challenges and opportunities in C\/C++ source-to-source compilation. In: Bispo, J., Charles, H.P., Cherubin, S., Massari, G. (eds.) Proceedings of the 14th Workshop on Parallel Programming and Run-Time Management Techniques for Many-Core Architectures and 12th Workshop on Design Tools and Architectures for Multicore Embedded Computing Platforms (PARMA-DITAM 2023). Open Access Series in Informatics (OASIcs), vol.\u00a0107, pp. 2:1\u20132:15. Schloss Dagstuhl \u2014 Leibniz-Zentrum f\u00fcr Informatik (2023). https:\/\/doi.org\/10.4230\/OASIcs.PARMA-DITAM.2023.2","DOI":"10.4230\/OASIcs.PARMA-DITAM.2023.2"},{"key":"12_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1007\/978-3-030-29852-4_7","volume-title":"Software Technology: Methods and Tools","author":"A Bombarda","year":"2019","unstructured":"Bombarda, A., Bonfanti, S., Gargantini, A.: Developing medical devices from abstract state machines to embedded systems: a smart pill box case study. In: Mazzara, M., Bruel, J.-M., Meyer, B., Petrenko, A. (eds.) TOOLS 2019. LNCS, vol. 11771, pp. 89\u2013103. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-29852-4_7"},{"issue":"5","key":"12_CR13","doi-asserted-by":"publisher","first-page":"e1943","DOI":"10.1002\/smr.1943","volume":"30","author":"S Bonfanti","year":"2018","unstructured":"Bonfanti, S., Gargantini, A., Mashkoor, A.: A systematic literature review of the use of formal methods in medical software systems. J. Softw. Evol. Process 30(5), e1943 (2018). https:\/\/doi.org\/10.1002\/smr.1943","journal-title":"J. Softw. Evol. Process"},{"key":"12_CR14","unstructured":"Boost Developers: Boost C++ libraries (Boost.Hana documentation). https:\/\/www.boost.org\/doc\/libs\/1_84_0\/libs\/hana\/doc\/html\/index.html"},{"key":"12_CR15","unstructured":"Boost Developers: Boost C++ libraries (2024). https:\/\/www.boost.org\/"},{"key":"12_CR16","unstructured":"Caminiti, L.: Boost.Contract 1.0.0. https:\/\/www.boost.org\/doc\/libs\/1_80_0\/libs\/contract\/doc\/html\/index.html (2008\u20132019)"},{"key":"12_CR17","unstructured":"Clark, C., Kappert, E.: Openpyxl \u2014 a Python library to read\/write Excel 2010 xlsx\/xlsm files (2024). https:\/\/pypi.org\/project\/openpyxl\/"},{"key":"12_CR18","doi-asserted-by":"publisher","unstructured":"Coblenz, M., et al.: Obsidian: typestate and assets for safer blockchain programming. ACM Trans. Program. Lang. Syst. 42(3) (2020). https:\/\/doi.org\/10.1145\/3417516","DOI":"10.1145\/3417516"},{"issue":"5","key":"12_CR19","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1145\/381694.378811","volume":"36","author":"R DeLine","year":"2001","unstructured":"DeLine, R., F\u00e4hndrich, M.: Enforcing high-level protocols in low-level software. SIGPLAN Not. 36(5), 59\u201369 (2001). https:\/\/doi.org\/10.1145\/381694.378811","journal-title":"SIGPLAN Not."},{"key":"12_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"465","DOI":"10.1007\/978-3-540-24851-4_21","volume-title":"ECOOP 2004 \u2013 Object-Oriented Programming","author":"R DeLine","year":"2004","unstructured":"DeLine, R., F\u00e4hndrich, M.: Typestates for objects. In: Odersky, M. (ed.) ECOOP 2004. LNCS, vol. 3086, pp. 465\u2013490. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-24851-4_21"},{"key":"12_CR21","unstructured":"Driscoll, P.J., Parnell, G.S., Henderson, D.L.: Decision Making in Systems Engineering and Management. Wiley, Hoboken (2022)"},{"key":"12_CR22","doi-asserted-by":"publisher","unstructured":"Estivill-Castro, V., Hexel, R.: Run-time verification of regularly expressed behavioral properties in robotic systems with logic-labeled finite state machines. In: Proceedings of the IEEE International Conference on Simulation, Modeling, and Programming for Autonomous Robots (SIMPAR), pp. 281\u2013288. IEEE (2016), https:\/\/doi.org\/10.1109\/SIMPAR.2016.7862408","DOI":"10.1109\/SIMPAR.2016.7862408"},{"key":"12_CR23","unstructured":"Formal Methods and SE Laboratory University of Milan, Formal Methods and Software Engineering Lab University of Bergamo: Asm2c++ (2006\u20132022). https:\/\/asmeta.github.io\/download\/asm2c++.html"},{"key":"12_CR24","unstructured":"Formal Methods and SE Laboratory University of Milan, Formal Methods and Software Engineering Lab University of Bergamo: Asmeta framework (2006\u20132022). https:\/\/asmeta.github.io\/"},{"key":"12_CR25","unstructured":"Giampaolo, F.: psutil (2024). https:\/\/pypi.org\/project\/psutil\/"},{"key":"12_CR26","doi-asserted-by":"publisher","unstructured":"Giftthaler, M., Neunert, M., St\u00e4uble, M., Buchli, J.: The control toolbox \u2014 an open-source C++ library for robotics, optimal and model predictive control. In: Proceedings of the IEEE International Conference on Simulation, Modeling, and Programming for Autonomous Robots (SIMPAR), pp. 123\u2013129. IEEE (2018). https:\/\/doi.org\/10.1109\/SIMPAR.2018.8376281","DOI":"10.1109\/SIMPAR.2018.8376281"},{"key":"12_CR27","unstructured":"Graphviz Team: Graphviz (2021). https:\/\/www.graphviz.org\/"},{"key":"12_CR28","doi-asserted-by":"publisher","unstructured":"Gregor, D., J\u00e4rvi, J.: Variadic templates for C++. In: Proceedings of the ACM Symposium on Applied Computing (SAC), pp. 1101\u20131108. ACM (2007). https:\/\/doi.org\/10.1145\/1244002.1244243","DOI":"10.1145\/1244002.1244243"},{"key":"12_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"360","DOI":"10.1007\/978-3-319-33600-8_31","volume-title":"Abstract State Machines, Alloy, B, TLA, VDM, and Z","author":"TS Hoang","year":"2016","unstructured":"Hoang, T.S., Snook, C., Ladenberger, L., Butler, M.: Validating the requirements and design of a hemodialysis machine using iUML-B, BMotion studio, and co-simulation. In: Butler, M., Schewe, K.-D., Mashkoor, A., Biro, M. (eds.) ABZ 2016. LNCS, vol. 9675, pp. 360\u2013375. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-33600-8_31"},{"key":"12_CR30","doi-asserted-by":"publisher","unstructured":"Hu, Y., et al.: Decision-making system based on finite state machine for low-speed autonomous vehicles in the park. In: IEEE International Conference on Real-time Computing and Robotics (RCAR), pp. 721\u2013726 (2022). https:\/\/doi.org\/10.1109\/RCAR54675.2022.9872208","DOI":"10.1109\/RCAR54675.2022.9872208"},{"issue":"10","key":"12_CR31","doi-asserted-by":"publisher","first-page":"17594","DOI":"10.1109\/TITS.2022.3153848","volume":"23","author":"S Hwang","year":"2022","unstructured":"Hwang, S., Lee, K., Jeon, H., Kum, D.: Autonomous vehicle cut-in algorithm for lane-merging scenarios via policy-based reinforcement learning nested within finite-state machine. IEEE Trans. Intell. Transp. Syst. 23(10), 17594\u201317606 (2022). https:\/\/doi.org\/10.1109\/TITS.2022.3153848","journal-title":"IEEE Trans. Intell. Transp. Syst."},{"key":"12_CR32","doi-asserted-by":"publisher","unstructured":"Jakobsen, M., Ravier, A., Dardha, O.: Papaya: global typestate analysis of aliased objects. In: Proceedings of the 23rd International Symposium on Principles and Practice of Declarative Programming (PPDP). ACM (2021). https:\/\/doi.org\/10.1145\/3479394.3479414","DOI":"10.1145\/3479394.3479414"},{"key":"12_CR33","unstructured":"Kitware Inc.: Cmake (2024). https:\/\/cmake.org\/"},{"key":"12_CR34","doi-asserted-by":"publisher","unstructured":"Kouzapas, D., Dardha, O., Perera, R., Gay, S.J.: Typechecking protocols with Mungo and StMungo. In: Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming (PPDP), pp. 146\u2013159. ACM (2016). https:\/\/doi.org\/10.1145\/2967973.2968595","DOI":"10.1145\/2967973.2968595"},{"key":"12_CR35","doi-asserted-by":"publisher","unstructured":"Kumar, B.: A survey of key factors affecting software maintainability. In: Proceedings of the International Conference on Computing Sciences, pp. 261\u2013266 (2012). https:\/\/doi.org\/10.1109\/ICCS.2012.5","DOI":"10.1109\/ICCS.2012.5"},{"issue":"6","key":"12_CR36","doi-asserted-by":"publisher","first-page":"1811","DOI":"10.1145\/197320.197383","volume":"16","author":"BH Liskov","year":"1994","unstructured":"Liskov, B.H., Wing, J.M.: A behavioral notion of subtyping. ACM Trans. Program. Lang. Syst. 16(6), 1811\u20131841 (1994). https:\/\/doi.org\/10.1145\/197320.197383","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"12_CR37","unstructured":"LLVM Developer Group: libclang-17-dev: Development package for Clang (2024). https:\/\/packages.debian.org\/search?keywords=libclang-17-dev"},{"key":"12_CR38","unstructured":"Mayr, M., Salt-Ducaju, J.M.: A C++ implementation of a cartesian impedance controller for robotic manipulators (2022)"},{"key":"12_CR39","unstructured":"McKinney, W., et\u00a0al.: pandas: powerful Python data analysis toolkit (2024). https:\/\/pandas.pydata.org\/"},{"key":"12_CR40","doi-asserted-by":"publisher","unstructured":"Milit\u00e3o, F., Aldrich, J., Caires, L.: Substructural typestates. In: Proceedings of the ACM SIGPLAN Workshop on Programming Languages Meets Program Verification (PLPV), pp. 15\u201326. ACM (2014). https:\/\/doi.org\/10.1145\/2541568.2541574","DOI":"10.1145\/2541568.2541574"},{"key":"12_CR41","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/978-3-030-78142-2_8","volume-title":"Coordination Models and Languages","author":"J Mota","year":"2021","unstructured":"Mota, J., Giunti, M., Ravara, A.: Java typestate checker. In: Damiani, F., Dardha, O. (eds.) COORDINATION 2021. LNCS, vol. 12717, pp. 121\u2013133. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-78142-2_8"},{"key":"12_CR42","doi-asserted-by":"publisher","unstructured":"Oliveira, M.F., Redin, R.M., Carro, L., Lamb, L.D.C., Wagner, F.R.: Software quality metrics and their impact on embedded software. In: Proceedings of the 5th International Workshop on Model-based Methodologies for Pervasive and Embedded Software (MOMPES), pp. 68\u201377. IEEE (2008). https:\/\/doi.org\/10.1109\/MOMPES.2008.11","DOI":"10.1109\/MOMPES.2008.11"},{"key":"12_CR43","doi-asserted-by":"publisher","unstructured":"Porkol\u00e1b, Z., Mihalicza, J., Sipos, A.: Debugging C++ template metaprograms. In: Proceedings of the 5th International Conference on Generative Programming and Component Engineering (GPCE), pp. 255\u2013264. ACM (2006). https:\/\/doi.org\/10.1145\/1173706.1173746","DOI":"10.1145\/1173706.1173746"},{"key":"12_CR44","unstructured":"Python Software Foundation: time \u2014 time access and conversions (2024). https:\/\/docs.python.org\/3\/library\/time.html"},{"key":"12_CR45","series-title":"IFIP \u2013 The International Federation for Information Processing","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1007\/978-0-387-09661-2_10","volume-title":"Distributed Embedded Systems: Design, Middleware and Resources","author":"RM Redin","year":"2008","unstructured":"Redin, R.M., et al.: On the use of software quality metrics to improve physical properties of embedded systems. In: Kleinjohann, B., Wolf, W., Kleinjohann, L. (eds.) DIPES 2008. ITIFIP, vol. 271, pp. 101\u2013110. Springer, Boston (2008). https:\/\/doi.org\/10.1007\/978-0-387-09661-2_10"},{"key":"12_CR46","unstructured":"Reis, G.D., J.\u00a0D.\u00a0Garcia, J.\u00a0Lakos, A.M., N.\u00a0Myers, B.S.: Support for contract based programming in C++ (2018). https:\/\/open-std.org\/JTC1\/SC22\/WG21\/docs\/papers\/2018\/p0542r5.html"},{"key":"12_CR47","unstructured":"Rust Language: The Embedded Rust Book (2018). https:\/\/docs.rust-embedded.org\/book\/static-guarantees\/typestate-programming.html#typestate-programming"},{"key":"12_CR48","doi-asserted-by":"publisher","first-page":"536","DOI":"10.1007\/978-1-4020-8741-7_95","volume-title":"Advances in Computer and Information Sciences and Engineering","author":"T Sherman","year":"2008","unstructured":"Sherman, T.: Quality attributes for embedded systems. In: Sobh, T. (ed.) Advances in Computer and Information Sciences and Engineering, pp. 536\u2013539. Springer, Dordrecht (2008). https:\/\/doi.org\/10.1007\/978-1-4020-8741-7_95"},{"key":"12_CR49","unstructured":"\u0160imo\u0148\u00e1k, S.: Verification of communication protocols based on formal methods integration. Acta Polytechnica Hungarica 9(4), 117\u2013128 (2012). http:\/\/acta.uni-obuda.hu\/Simonak_36.pdf"},{"key":"12_CR50","doi-asserted-by":"publisher","unstructured":"Strom, R.E., Yemini, S.: Typestate: a programming language concept for enhancing software reliability. IEEE Trans. Softw. Eng. SE-12(1), 157\u2013171 (1986). https:\/\/doi.org\/10.1109\/TSE.1986.6312929","DOI":"10.1109\/TSE.1986.6312929"},{"key":"12_CR51","doi-asserted-by":"publisher","unstructured":"Sunshine, J., Naden, K., Stork, S., Aldrich, J., Tanter, E.: First-class state change in plaid. In: Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages and Applications (OOPSLA), pp. 713\u2013732. ACM (2011). https:\/\/doi.org\/10.1145\/2048066.2048122","DOI":"10.1145\/2048066.2048122"},{"key":"12_CR52","unstructured":"TIOBE: TIOBE Index (2000\u20132023). https:\/\/www.tiobe.com\/tiobe-index\/\/"},{"key":"12_CR53","unstructured":"Tolmer, V.: Protenc library (2019). https:\/\/github.com\/nitnelave\/ProtEnc"},{"key":"12_CR54","doi-asserted-by":"publisher","unstructured":"Wang, J., Tepfenhart, W.: Formal Methods in Computer Science. Chapman and Hall\/CRC (2019). https:\/\/doi.org\/10.1201\/9780429184185","DOI":"10.1201\/9780429184185"},{"key":"12_CR55","doi-asserted-by":"publisher","unstructured":"Xiao, X., Balakrishnan, G., Ivan\u010di\u0107, F., Maeda, N., Gupta, A., Chhetri, D.: Arc++: effective typestate and lifetime dependency analysis. In: Proceedings of the International Symposium on Software Testing and Analysis (ISSTA), pp. 116\u2013126. ACM (2014). https:\/\/doi.org\/10.1145\/2610384.2610395","DOI":"10.1145\/2610384.2610395"},{"key":"12_CR56","unstructured":"Yin, T.: Lizard: an extensible cyclomatic complexity analyzer (2024). https:\/\/pypi.org\/project\/lizard\/1.8.7\/"}],"container-title":["Lecture Notes in Computer Science","Coordination Models and Languages"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-62697-5_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,10]],"date-time":"2024-06-10T21:03:04Z","timestamp":1718053384000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-62697-5_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031626968","9783031626975"],"references-count":56,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-62697-5_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"11 June 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"COORDINATION","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Coordination Models and Languages","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Groningen","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"The Netherlands","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17 June 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"21 June 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"26","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"coordination2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}