{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,4]],"date-time":"2025-12-04T18:42:13Z","timestamp":1764873733978,"version":"3.40.3"},"publisher-location":"Cham","reference-count":40,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030529901"},{"type":"electronic","value":"9783030529918"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020]]},"DOI":"10.1007\/978-3-030-52991-8_8","type":"book-chapter","created":{"date-parts":[[2020,7,21]],"date-time":"2020-07-21T15:04:41Z","timestamp":1595343881000},"page":"156-178","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["From Formal Test Objectives to TTCN-3 for Verifying ETCS Complex Software Control Systems"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2471-8012","authenticated-orcid":false,"given":"Rabea","family":"Ameur-Boulifa","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2586-9071","authenticated-orcid":false,"given":"Ana","family":"Cavalli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0305-4712","authenticated-orcid":false,"given":"Stephane","family":"Maag","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,7,22]]},"reference":[{"key":"8_CR1","doi-asserted-by":"publisher","unstructured":"Ameur-Boulifa, R., Cavalli, A.R., Maag, S.: Verifying complex software control systems from test objectives: application to the ETCS system. In: Proceedings of the 14th International Conference on Software Technologies, ICSOFT 2019, Prague, Czech Republic, 26\u201328 July 2019, pp. 397\u2013406 (2019). \n                  https:\/\/doi.org\/10.5220\/0007918203970406","DOI":"10.5220\/0007918203970406"},{"key":"8_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.jlamp.2017.02.003","volume":"89","author":"R Ameur-Boulifa","year":"2017","unstructured":"Ameur-Boulifa, R., Henrio, L., Kulankhina, O., Madelaine, E., Savu, A.: Behavioural semantics for asynchronous components. J. Log. Algebraic Methods Program. 89, 1\u201340 (2017)","journal-title":"J. Log. Algebraic Methods Program."},{"key":"8_CR3","unstructured":"Andres, C., Cavalli, A., Yetvushenko, N.: On modeling and testing the european train control system, technical report 09013 lor, telecom sudparis. Technical report, March 2013"},{"key":"8_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1007\/978-3-319-25945-1_12","volume-title":"Testing Software and Systems","author":"S Abbaspour Asadollah","year":"2015","unstructured":"Abbaspour Asadollah, S., Inam, R., Hansson, H.: A survey on testing for cyber physical system. In: El-Fakih, K., Barlas, G., Yevtushenko, N. (eds.) ICTSS 2015. LNCS, vol. 9447, pp. 194\u2013207. Springer, Cham (2015). \n                  https:\/\/doi.org\/10.1007\/978-3-319-25945-1_12"},{"key":"8_CR5","doi-asserted-by":"crossref","unstructured":"Belghiat, A., Chaoui, A.: A Pi-calculus-based approach for the verification of UML2 sequence diagrams. In: 2015 10th International Joint Conference on Software Technologies (ICSOFT), vol. 2, pp. 1\u20138. IEEE (2015)","DOI":"10.5220\/0005517900870094"},{"key":"8_CR6","doi-asserted-by":"publisher","unstructured":"B\u00e9rard, B., et al.: Systems and Software Verification: Model-checking Techniques and Tools. Springer, Heidelberg (2013). \n                  https:\/\/doi.org\/10.1007\/978-3-662-04558-9","DOI":"10.1007\/978-3-662-04558-9"},{"key":"8_CR7","unstructured":"Berthomieu, B., et al.: The syntax and semantics of FIACRE. In: Deliverable number F.3.2.11 of project TOPCASED (2012)"},{"key":"8_CR8","doi-asserted-by":"crossref","unstructured":"Bougacha, R., Wakrime, A.A., Kallel, S., Ayed, R.B., Collart-Dutilleul, S.: A model-based approach for the modeling and the verification of railway signaling system. In: Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering, pp. 367\u2013376. SCITEPRESS-Science and Technology Publications, Lda (2019)","DOI":"10.5220\/0007728403670376"},{"key":"8_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1007\/3-540-45657-0_26","volume-title":"Computer Aided Verification","author":"M Bozga","year":"2002","unstructured":"Bozga, M., Graf, S., Mounier, L.: IF-2.0: a validation environment for component-based real-time systems. In: Brinksma, E., Larsen, K.G. (eds.) CAV 2002. LNCS, vol. 2404, pp. 343\u2013348. Springer, Heidelberg (2002). \n                  https:\/\/doi.org\/10.1007\/3-540-45657-0_26"},{"key":"8_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1007\/978-3-540-30080-9_8","volume-title":"Formal Methods for the Design of Real-Time Systems","author":"M Bozga","year":"2004","unstructured":"Bozga, M., Graf, S., Ober, I., Ober, I., Sifakis, J.: The IF toolset. In: Bernardo, M., Corradini, F. (eds.) SFM-RT 2004. LNCS, vol. 3185, pp. 237\u2013267. Springer, Heidelberg (2004). \n                  https:\/\/doi.org\/10.1007\/978-3-540-30080-9_8"},{"key":"8_CR11","doi-asserted-by":"crossref","unstructured":"Bundell, G.A.: Aspects of the safety analysis of an on-board automatic train operation supervisor. In: 2009 IEEE International Conference on Systems, Man and Cybernetics, pp. 3223\u20133230. IEEE (2009)","DOI":"10.1109\/ICSMC.2009.5346233"},{"key":"8_CR12","doi-asserted-by":"publisher","unstructured":"Cavalli, A.R., Grepet, C., Maag, S., Tortajada, V.: A validation model for the DSR protocol. In: 24th International Conference on Distributed Computing Systems Workshops (ICDCS 2004 Workshops), 23\u201324 March 2004, Hachioji, Tokyo, Japan, pp. 768\u2013773 (2004). \n                  https:\/\/doi.org\/10.1109\/ICDCSW.2004.1284120","DOI":"10.1109\/ICDCSW.2004.1284120"},{"key":"8_CR13","unstructured":"Che, X., Lalanne, F., Maag, S.: A logic-based passive testing approach for the validation of communicating protocols. In: ENASE 2012 - Proceedings of the 7th International Conference on Evaluation of Novel Approaches to Software Engineering, Wroclaw, Poland, 29\u201330 June 2012, pp. 53\u201364 (2012)"},{"key":"8_CR14","unstructured":"ERTMS Commission Group - European Commission: delivering an effective and interoperable European Rail Traffic Management System (ERTMS) \u2013 the way ahead. Technical report, SWD(2017), p. 375, November 2017. \n                  https:\/\/ec.europa.eu\/transport\/sites\/transport\/files\/swd20170375-ertms-the-way-ahead.pdf"},{"key":"8_CR15","unstructured":"ETSI-ES-201-873-1: Methods for testing and specification (MTS), the testing and test control notation version 3, part 1: Ttcn-3 core language, v4.11.1. Technical report, April 2019"},{"key":"8_CR16","doi-asserted-by":"crossref","unstructured":"Ferrante, O., Scholte, E., Rollini, S., North, R., Manica, L., Senni, V.: A methodology for formal requirements validation and automatic test generation and application to aerospace systems. Technical report, SAE Technical Paper (2018)","DOI":"10.4271\/2018-01-1948"},{"issue":"3","key":"8_CR17","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1002\/stvr.402","volume":"19","author":"G Fraser","year":"2009","unstructured":"Fraser, G., Wotawa, F., Ammann, P.E.: Testing with model checkers: a survey. Softw. Test. Verification Reliab. 19(3), 215\u2013261 (2009)","journal-title":"Softw. Test. Verification Reliab."},{"key":"8_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"372","DOI":"10.1007\/978-3-642-19835-9_33","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"H Garavel","year":"2011","unstructured":"Garavel, H., Lang, F., Mateescu, R., Serwe, W.: CADP 2010: a toolbox for the construction and analysis of distributed processes. In: Abdulla, P.A., Leino, K.R.M. (eds.) TACAS 2011. LNCS, vol. 6605, pp. 372\u2013387. Springer, Heidelberg (2011). \n                  https:\/\/doi.org\/10.1007\/978-3-642-19835-9_33"},{"key":"8_CR19","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1016\/j.infsof.2018.06.016","volume":"104","author":"V Garousi","year":"2018","unstructured":"Garousi, V., Felderer, M., Karap\u0131\u00e7ak, \u00c7.M., Y\u0131lmaz, U.: Testing embedded software: a survey of the literature. Inf. Softw. Technol. 104, 14\u201345 (2018)","journal-title":"Inf. Softw. Technol."},{"key":"8_CR20","doi-asserted-by":"publisher","first-page":"60","DOI":"10.1016\/j.trc.2014.02.002","volume":"42","author":"M Ghazel","year":"2014","unstructured":"Ghazel, M.: Formalizing a subset of ERTMS\/ETCS specifications for verification purposes. Transp. Res. Part C Emerg. Technol. 42, 60\u201375 (2014)","journal-title":"Transp. Res. Part C Emerg. Technol."},{"key":"8_CR21","unstructured":"Godefroid, P.: Between testing and verification: Dynamic software model checking (2016)"},{"issue":"2","key":"8_CR22","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1016\/0304-3975(94)00172-F","volume":"138","author":"M Hennessy","year":"1995","unstructured":"Hennessy, M., Lin, H.: Symbolic bisimulations. Theor. Comput. Sci. 138(2), 353\u2013389 (1995)","journal-title":"Theor. Comput. Sci."},{"key":"8_CR23","doi-asserted-by":"crossref","unstructured":"Henrio, L., Madelaine, E., Min, Z.: pNets: an expressive model for parameterised networks of processes. In: 2015 23rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, pp. 492\u2013496. IEEE (2015)","DOI":"10.1109\/PDP.2015.70"},{"key":"8_CR24","unstructured":"ITU-T: Recommandation Z.100: CCITT Specification and Description Language (SDL, 1999, updated 2019). Technical report, ITU-T, October 2019"},{"issue":"2","key":"8_CR25","doi-asserted-by":"publisher","first-page":"213","DOI":"10.7307\/ptt.v29i2.2171","volume":"29","author":"L Jesus Valdivia","year":"2017","unstructured":"Jesus Valdivia, L., Solas, G., A\u00f1orga, J., Arrizabalaga, S., Adin, I., Mendizabal, J.: ETCS on-board unit safety testing: saboteurs, testing strategy and results. Promet-Traffic Transp. 29(2), 213\u2013223 (2017)","journal-title":"Promet-Traffic Transp."},{"issue":"4","key":"8_CR26","doi-asserted-by":"publisher","first-page":"2361","DOI":"10.1007\/s10270-018-0665-6","volume":"18","author":"N Kahani","year":"2018","unstructured":"Kahani, N., Bagherzadeh, M., Cordy, J.R., Dingel, J., Varr\u00f3, D.: Survey and classification of model transformation tools. Softw. Syst. Model. 18(4), 2361\u20132397 (2018). \n                  https:\/\/doi.org\/10.1007\/s10270-018-0665-6","journal-title":"Softw. Syst. Model."},{"issue":"6","key":"8_CR27","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1109\/MCS.2016.2602089","volume":"36","author":"J Kapinski","year":"2016","unstructured":"Kapinski, J., Deshmukh, J.V., Jin, X., Ito, H., Butts, K.: Simulation-based approaches for verification of embedded control systems: an overview of traditional and advanced modeling, testing, and verification techniques. IEEE Control Syst. Mag. 36(6), 45\u201364 (2016)","journal-title":"IEEE Control Syst. Mag."},{"issue":"4","key":"8_CR28","doi-asserted-by":"publisher","first-page":"642","DOI":"10.1007\/s11704-016-6192-0","volume":"12","author":"AK Karna","year":"2018","unstructured":"Karna, A.K., Chen, Y., Yu, H., Zhong, H., Zhao, J.: The role of model checking in software engineering. Front. Comput. Sci. 12(4), 642\u2013668 (2018). \n                  https:\/\/doi.org\/10.1007\/s11704-016-6192-0","journal-title":"Front. Comput. Sci."},{"key":"8_CR29","first-page":"1090","volume":"84","author":"D Lee","year":"1996","unstructured":"Lee, D., Yannakakis, M.: Principles and methods of testing finite state machines - a survey. IEEE Trans. Comput. 84, 1090\u20131123 (1996)","journal-title":"IEEE Trans. Comput."},{"key":"8_CR30","doi-asserted-by":"publisher","first-page":"1090","DOI":"10.1109\/5.533956","volume":"84","author":"D Lee","year":"1996","unstructured":"Lee, D., Yannakakis, M.: Principles and methods of testing finite state machines - a Survey. Proc. IEEE 84, 1090\u20131123 (1996)","journal-title":"Proc. IEEE"},{"key":"8_CR31","doi-asserted-by":"crossref","unstructured":"Liu, Y., Tang, T., Liu, J., Zhao, L., Xu, T.: Formal modeling and verification of RBC handover of ETCS using differential dynamic logic. In: 2011 Tenth International Symposium on Autonomous Decentralized Systems, pp. 67\u201372. IEEE (2011)","DOI":"10.1109\/ISADS.2011.15"},{"key":"8_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"148","DOI":"10.1007\/978-3-540-68237-0_12","volume-title":"FM 2008: Formal Methods","author":"R Mateescu","year":"2008","unstructured":"Mateescu, R., Thivolle, D.: A model checking language for concurrent value-passing systems. In: Cuellar, J., Maibaum, T., Sere, K. (eds.) FM 2008. LNCS, vol. 5014, pp. 148\u2013164. Springer, Heidelberg (2008). \n                  https:\/\/doi.org\/10.1007\/978-3-540-68237-0_12"},{"key":"8_CR33","doi-asserted-by":"publisher","unstructured":"Merouane, K., Grepet, C., Maag, S.: A methodology for interoperability testing of a manet routing protocol. In: International Conference on Wireless and Mobile Communications, p. 5, March 2007. \n                  https:\/\/doi.org\/10.1109\/ICWMC.2007.2","DOI":"10.1109\/ICWMC.2007.2"},{"issue":"15","key":"8_CR34","doi-asserted-by":"publisher","first-page":"2992","DOI":"10.1016\/j.comnet.2013.06.019","volume":"57","author":"P Mouttappa","year":"2013","unstructured":"Mouttappa, P., Maag, S., Cavalli, A.: Using passive testing based on symbolic execution and slicing techniques: application to the validation of communication protocols. Comput. Netw. 57(15), 2992\u20133008 (2013)","journal-title":"Comput. Netw."},{"issue":"1","key":"8_CR35","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1007\/s10270-017-0579-8","volume":"18","author":"S Mubeen","year":"2017","unstructured":"Mubeen, S., Nolte, T., Sj\u00f6din, M., Lundb\u00e4ck, J., Lundb\u00e4ck, K.-L.: Supporting timing analysis of vehicular embedded systems through the refinement of timing constraints. Softw. Syst. Model. 18(1), 39\u201369 (2017). \n                  https:\/\/doi.org\/10.1007\/s10270-017-0579-8","journal-title":"Softw. Syst. Model."},{"key":"8_CR36","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"204","DOI":"10.1007\/978-3-319-09099-3_16","volume-title":"Tests and Proofs","author":"G Petiot","year":"2014","unstructured":"Petiot, G., Kosmatov, N., Giorgetti, A., Julliand, J.: How test generation helps software specification and deductive verification in Frama-C. In: Seidl, M., Tillmann, N. (eds.) TAP 2014. LNCS, vol. 8570, pp. 204\u2013211. Springer, Cham (2014). \n                  https:\/\/doi.org\/10.1007\/978-3-319-09099-3_16"},{"key":"8_CR37","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"246","DOI":"10.1007\/978-3-642-10373-5_13","volume-title":"Formal Methods and Software Engineering","author":"A Platzer","year":"2009","unstructured":"Platzer, A., Quesel, J.-D.: European train control system: a case study in formal verification. In: Breitman, K., Cavalcanti, A. (eds.) ICFEM 2009. LNCS, vol. 5885, pp. 246\u2013265. Springer, Heidelberg (2009). \n                  https:\/\/doi.org\/10.1007\/978-3-642-10373-5_13"},{"key":"8_CR38","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"118","DOI":"10.1007\/978-3-319-30142-6_7","volume-title":"Software Technologies","author":"MOB Salem","year":"2016","unstructured":"Salem, M.O.B., Mosbahi, O., Khalgui, M., Frey, G.: R-UML: An UML profile for verification of flexible control systems. In: Lorenz, P., Cardoso, J., Maciaszek, L.A., van Sinderen, M. (eds.) ICSOFT 2015. CCIS, vol. 586, pp. 118\u2013136. Springer, Cham (2016). \n                  https:\/\/doi.org\/10.1007\/978-3-319-30142-6_7"},{"key":"8_CR39","doi-asserted-by":"publisher","DOI":"10.1002\/9780470977903","volume-title":"An Introduction to TTCN-3","author":"C Willcock","year":"2011","unstructured":"Willcock, C., Dei, T., Tobies, S., Keil, S., Engler, F., Schulz, S.: An Introduction to TTCN-3, 2nd edn. Wiley Publishing, Hoboken (2011)","edition":"2"},{"issue":"2","key":"8_CR40","doi-asserted-by":"publisher","first-page":"90","DOI":"10.1007\/s40864-017-0051-7","volume":"3","author":"F Yan","year":"2017","unstructured":"Yan, F., Gao, C., Tang, T., Zhou, Y.: A safety management and signaling system integration method for communication-based train control system. Urban Rail Transit 3(2), 90\u201399 (2017). \n                  https:\/\/doi.org\/10.1007\/s40864-017-0051-7","journal-title":"Urban Rail Transit"}],"container-title":["Communications in Computer and Information Science","Software Technologies"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-52991-8_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,7,22]],"date-time":"2020-07-22T01:10:53Z","timestamp":1595380253000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-52991-8_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030529901","9783030529918"],"references-count":40,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-52991-8_8","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"22 July 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ICSOFT","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Software Technologies","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Prague","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Czech Republic","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"26 July 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28 July 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"14","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"icsoft2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.icsoft.org\/?y=2019","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Double-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"PRIMORIS","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"116","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"10","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"9% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"4","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"4","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"No","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}