{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,6]],"date-time":"2026-02-06T00:29:12Z","timestamp":1770337752862,"version":"3.49.0"},"publisher-location":"Cham","reference-count":54,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783031262357","type":"print"},{"value":"9783031262364","type":"electronic"}],"license":[{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"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":[[2023]]},"DOI":"10.1007\/978-3-031-26236-4_14","type":"book-chapter","created":{"date-parts":[[2023,2,10]],"date-time":"2023-02-10T15:58:23Z","timestamp":1676044703000},"page":"164-173","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["A Case Study in\u00a0Formal Analysis of\u00a0System Requirements"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-1491-6450","authenticated-orcid":false,"given":"Dimitri","family":"Belli","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4562-8777","authenticated-orcid":false,"given":"Franco","family":"Mazzanti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2023,2,11]]},"reference":[{"key":"14_CR1","unstructured":"4SECURail: Project Deliverable D2.1 (2020). https:\/\/www.4securail.eu\/Documents.html"},{"key":"14_CR2","unstructured":"4SECURail: Deliverabled of WorkStream 1 (2022). https:\/\/zenodo.org\/record\/5807738"},{"key":"14_CR3","unstructured":"4SECURail: Project Deliverables (2022). https:\/\/www.4securail.eu\/Documents.html"},{"key":"14_CR4","unstructured":"4SECURail: Translation Tools (2022). https:\/\/zenodo.org\/record\/5541350"},{"issue":"6","key":"14_CR5","doi-asserted-by":"publisher","first-page":"447","DOI":"10.1007\/s10009-010-0145-y","volume":"12","author":"J Abrial","year":"2010","unstructured":"Abrial, J., Butler, M.J., Hallerstede, S., Hoang, T.S., Mehta, F., Voisin, L.: Rodin: an open toolset for modelling and reasoning in Event-B. Int. J. Softw. Tools Technol. Transf. 12(6), 447\u2013466 (2010). https:\/\/doi.org\/10.1007\/s10009-010-0145-y","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"14_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1007\/978-3-030-85248-1_11","volume-title":"Formal Methods for Industrial Critical Systems","author":"D Basile","year":"2021","unstructured":"Basile, D., Fantechi, A., Rosadi, I.: Formal analysis of the UNISIG safety application intermediate sub-layer. In: Lluch Lafuente, A., Mavridou, A. (eds.) FMICS 2021. LNCS, vol. 12863, pp. 174\u2013190. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-85248-1_11"},{"key":"14_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"762","DOI":"10.1007\/978-3-030-30942-8_46","volume-title":"Formal Methods \u2013 The Next 30 Years","author":"MH ter Beek","year":"2019","unstructured":"ter Beek, M.H., et al.: Adopting formal methods in an industrial setting: the railways case. In: ter Beek, M.H., McIver, A., Oliveira, J.N. (eds.) FM 2019. LNCS, vol. 11800, pp. 762\u2013772. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-30942-8_46"},{"issue":"2","key":"14_CR8","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1016\/j.scico.2010.07.002","volume":"76","author":"MH ter Beek","year":"2011","unstructured":"ter Beek, M.H., Fantechi, A., Gnesi, S., Mazzanti, F.: A state\/event-based model-checking approach for the analysis of abstract system properties. Sci. Comput. Program. 76(2), 119\u2013135 (2011). https:\/\/doi.org\/10.1016\/j.scico.2010.07.002","journal-title":"Sci. Comput. Program."},{"key":"14_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"110","DOI":"10.1007\/978-3-030-22348-9_8","volume-title":"Models, Mindsets, Meta: The What, the How, and the Why Not?","author":"MH ter Beek","year":"2019","unstructured":"ter Beek, M.H., Fantechi, A., Gnesi, S., Mazzanti, F.: States and events in KandISTI. In: Margaria, T., Graf, S., Larsen, K.G. (eds.) Models, Mindsets, Meta: The What, the How, and the Why Not? LNCS, vol. 11200, pp. 110\u2013128. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-22348-9_8"},{"key":"14_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"312","DOI":"10.1007\/978-3-319-15545-6_20","volume-title":"Software, Services, and Systems","author":"MH ter Beek","year":"2015","unstructured":"ter Beek, M.H., Gnesi, S., Mazzanti, F.: From EU projects to a family of model checkers. In: De Nicola, R., Hennicker, R. (eds.) Software, Services, and Systems. LNCS, vol. 8950, pp. 312\u2013328. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-15545-6_20"},{"key":"14_CR11","doi-asserted-by":"publisher","unstructured":"Belli, D., Fantechi, A., et al.: The 4SECURail approach to formalizing standard interfaces between signalling systems components (2022). Paper Accepted as Poster Presentation at Transport Research Arena Conference (TRA). https:\/\/doi.org\/10.5281\/zenodo.7225869","DOI":"10.5281\/zenodo.7225869"},{"key":"14_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1007\/978-3-030-78089-0_3","volume-title":"Formal Techniques for Distributed Objects, Components, and Systems","author":"M Bouwman","year":"2021","unstructured":"Bouwman, M., Luttik, B., van der Wal, D.: A formalisation of SysML state machines in mCRL2. In: Peters, K., Willemse, T.A.C. (eds.) FORTE 2021. LNCS, vol. 12719, pp. 42\u201359. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-78089-0_3"},{"issue":"4","key":"14_CR13","doi-asserted-by":"publisher","first-page":"441","DOI":"10.1007\/s10270-011-0207-y","volume":"10","author":"M Broy","year":"2011","unstructured":"Broy, M., Cengarle, M.V.: UML formal semantics: lessons learned. Softw. Syst. Model. 10(4), 441\u2013446 (2011). https:\/\/doi.org\/10.1007\/s10270-011-0207-y","journal-title":"Softw. Syst. Model."},{"key":"14_CR14","unstructured":"CADP: AUT format man page. https:\/\/cadp.inria.fr\/man\/aut.html"},{"key":"14_CR15","unstructured":"CADP: bcgcomp format man page. https:\/\/cadp.inria.fr\/man\/bcg_cmp.html"},{"key":"14_CR16","unstructured":"Champelovier, D., Clerc, X., et al.: Reference Manual of the LOTOS NT to LOTOS Translator (Version 5.8) (2013). https:\/\/cadp.inria.fr\/ftp\/publications\/cadp\/Champelovier-Clerc-Garavel-et-al-10.pdf"},{"key":"14_CR17","unstructured":"Clearsy: Atelier B. https:\/\/www.clearsy.com\/outils\/atelier-b\/"},{"issue":"3","key":"14_CR18","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1007\/s10009-019-00548-w","volume":"22","author":"D Dghaym","year":"2019","unstructured":"Dghaym, D., Dalvandi, M., Poppleton, M., Snook, C.: Formalising the hybrid ERTMS level 3 specification in iUML-B and Event-B. Int. J. Softw. Tools Technol. Transf. 22(3), 297\u2013313 (2019). https:\/\/doi.org\/10.1007\/s10009-019-00548-w","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"14_CR19","unstructured":"ERA: ERTMS Home Page. https:\/\/www.era.europa.eu\/activities\/european-rail-traffic-management-system-ertms"},{"key":"14_CR20","unstructured":"ERA: UNISIG SUBSET 098 RBC-RBC Safe Communication Interface (2012)"},{"key":"14_CR21","unstructured":"ERA: UNISIG SUBSET 039 FIS for the RBC\/RBC Handover (2015)"},{"key":"14_CR22","unstructured":"Eulynx: The Eulynx initiative. https:\/\/eulynx.eu\/"},{"key":"14_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1007\/11576280_5","volume-title":"Formal Methods and Software Engineering","author":"H Fecher","year":"2005","unstructured":"Fecher, H., Sch\u00f6nborn, J., Kyas, M., de Roever, W.-P.: 29 new unclarities in the semantics of UML 2.0 state machines. In: Lau, K.-K., Banach, R. (eds.) ICFEM 2005. LNCS, vol. 3785, pp. 52\u201365. Springer, Heidelberg (2005). https:\/\/doi.org\/10.1007\/11576280_5"},{"issue":"2","key":"14_CR24","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1007\/s10009-012-0244-z","volume":"15","author":"H Garavel","year":"2013","unstructured":"Garavel, H., Lang, F., Mateescu, R., Serwe, W.: CADP 2011: a toolbox for the construction and analysis of distributed processes. Int. J. Softw. Tools Technol. Transf. 15(2), 89\u2013107 (2013). https:\/\/doi.org\/10.1007\/s10009-012-0244-z","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"14_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/978-3-030-40914-2_2","volume-title":"Formal Aspects of Component Software","author":"JF Groote","year":"2020","unstructured":"Groote, J.F., Keiren, J.J.A., Luttik, B., de Vink, E.P., Willemse, T.A.C.: Modelling and analysing software in mCRL2. In: Arbab, F., Jongmans, S.-S. (eds.) FACS 2019. LNCS, vol. 12018, pp. 25\u201348. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-40914-2_2"},{"key":"14_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1007\/978-3-642-32759-9_25","volume-title":"FM 2012: Formal Methods","author":"O Grumberg","year":"2012","unstructured":"Grumberg, O., Meller, Y., Yorav, K.: Applying software model checking techniques for behavioral UML models. In: Giannakopoulou, D., M\u00e9ry, D. (eds.) FM 2012. LNCS, vol. 7436, pp. 277\u2013292. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-32759-9_25"},{"key":"14_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1007\/978-3-642-25271-6_12","volume-title":"Formal Methods for Components and Objects","author":"H Hvid Hansen","year":"2011","unstructured":"Hvid Hansen, H., Ketema, J., Luttik, B., Mousavi, M.R., van de Pol, J., dos Santos, O.M.: Automated verification of executable UML models. In: Aichernig, B.K., de Boer, F.S., Bonsangue, M.M. (eds.) FMCO 2010. LNCS, vol. 6957, pp. 225\u2013250. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-25271-6_12"},{"key":"14_CR28","unstructured":"Heinrich-Heine-Univ.: ProB Project Home Page. https:\/\/prob.hhu.de\/"},{"key":"14_CR29","unstructured":"Horizon 2020: Project AstRail. https:\/\/cordis.europa.eu\/project\/id\/777561"},{"key":"14_CR30","unstructured":"Horizon 2020: Project PerformingRail. https:\/\/cordis.europa.eu\/project\/id\/101015416"},{"key":"14_CR31","unstructured":"INRIA: CADP Web site. https:\/\/cadp.inria.fr"},{"key":"14_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"395","DOI":"10.1007\/3-540-45739-9_23","volume-title":"Formal Techniques in Real-Time and Fault-Tolerant Systems","author":"A Knapp","year":"2002","unstructured":"Knapp, A., Merz, S., Rauh, C.: Model checking timed UML state machines and collaborations. In: Damm, W., Olderog, E.-R. (eds.) FTRTFT 2002. LNCS, vol. 2469, pp. 395\u2013414. Springer, Heidelberg (2002). https:\/\/doi.org\/10.1007\/3-540-45739-9_23"},{"issue":"2","key":"14_CR33","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1007\/s10009-007-0063-9","volume":"10","author":"M Leuschel","year":"2008","unstructured":"Leuschel, M., Butler, M.J.: ProB: an automated analysis toolset for the B method. Int. J. Softw. Tools Technol. Transf. 10(2), 185\u2013203 (2008). https:\/\/doi.org\/10.1007\/s10009-007-0063-9","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"14_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1007\/978-3-642-38613-8_23","volume-title":"Integrated Formal Methods","author":"S Liu","year":"2013","unstructured":"Liu, S., et al.: A formal semantics for complete UML state machines with communications. In: Johnsen, E.B., Petre, L. (eds.) IFM 2013. LNCS, vol. 7940, pp. 331\u2013346. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-38613-8_23"},{"key":"14_CR35","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1007\/978-3-031-05814-1_11","volume-title":"Reliability, Safety, and Security of Railway Systems","author":"F Mazzanti","year":"2022","unstructured":"Mazzanti, F., Belli, D.: The 4SECURail formal methods demonstrator. In: Collart-Dutilleul, S., Haxthausen, A.E., Lecomte, T. (eds.) RSSRail 2022. LNCS, vol. 13294, pp. 149\u2013165. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-031-05814-1_11"},{"key":"14_CR36","doi-asserted-by":"publisher","unstructured":"Mazzanti, F., Belli, D.: Formal modelling and initial analysis of the 4SECURail case study. In: Proceedings: Models for Formal Analysis of Real Systems (MARS). EPTCS 355, pp. 118\u2013144 (2022). https:\/\/doi.org\/10.4204\/EPTCS.355.6","DOI":"10.4204\/EPTCS.355.6"},{"key":"14_CR37","unstructured":"Mazzanti, F., Belli, D.: Formal models of the 4SECURail project (2022). https:\/\/zenodo.org\/record\/6322392"},{"key":"14_CR38","unstructured":"mCRL2: ltscompare man page. https:\/\/www.mcrl2.org\/web\/user_manual\/tools\/release\/ltscompare.html"},{"key":"14_CR39","unstructured":"mCRl2: Project Home Page. https:\/\/www.mcrl2.org\/"},{"key":"14_CR40","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1007\/978-3-540-24732-6_9","volume-title":"Model Checking Software","author":"I Ober","year":"2004","unstructured":"Ober, I., Graf, S., Ober, I.: Validation of UML models via a mapping to communicating extended timed automata. In: Graf, S., Mounier, L. (eds.) SPIN 2004. LNCS, vol. 2989, pp. 127\u2013145. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-24732-6_9"},{"key":"14_CR41","unstructured":"OMG: Unified Modeling Language, Version 2.5.1 (2017). https:\/\/www.omg.org\/spec\/UML\/2.5.1"},{"key":"14_CR42","unstructured":"OMG: Action Language for Foundational UML (Alf) (2018). https:\/\/www.omg.org\/spec\/ALF\/1.1"},{"key":"14_CR43","unstructured":"OMG: Semantics of a Foundational Subset for Executable UML Models (2018). https:\/\/www.omg.org\/spec\/SysML\/1.6"},{"key":"14_CR44","unstructured":"OMG: Precise Semantics of UML State Machines (2019). https:\/\/www.omg.org\/spec\/PSSM\/1.0"},{"key":"14_CR45","unstructured":"OMG: System Modeling Language version 1.6 (2019). https:\/\/www.omg.org\/spec\/SysML\/1.6"},{"key":"14_CR46","unstructured":"P\u00e9tin, J.F., Evrot, D., Morel, G., Lamy, P.: Combining SysML and formal methods for safety requirements verification. In: 22nd International Conference on Software & Systems Engineering and Their Applications, Paris, France (2010). https:\/\/hal.archives-ouvertes.fr\/hal-00533311"},{"key":"14_CR47","unstructured":"PTC: Windchill Expert Packages. https:\/\/www.ptc.com\/en\/products\/windchill\/expert-packages"},{"key":"14_CR48","unstructured":"Shift2Rail: now Europe\u2019srail. https:\/\/rail-research.europa.eu\/"},{"key":"14_CR49","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1007\/978-3-642-25271-6_13","volume-title":"Formal Methods for Components and Objects","author":"C Snook","year":"2011","unstructured":"Snook, C., Savicks, V., Butler, M.: Verification of UML models by translation to UML-B. In: Aichernig, B.K., de Boer, F.S., Bonsangue, M.M. (eds.) FMCO 2010. LNCS, vol. 6957, pp. 251\u2013266. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-25271-6_13"},{"key":"14_CR50","unstructured":"SPIN: Project Home Page. https:\/\/spinroot.com\/spin\/whatispin.html"},{"key":"14_CR51","unstructured":"UML-B: Project Home Page. https:\/\/www.uml-b.org\/"},{"key":"14_CR52","unstructured":"Univ. AUgsburg: HUGO Home Page. https:\/\/www.uni-augsburg.de\/en\/fakultaet\/fai\/informatik\/prof\/swtsse\/hugo-rt\/"},{"key":"14_CR53","unstructured":"Univ. of Twente: Formasig Home Page. https:\/\/www.utwente.nl\/en\/eemcs\/fmt\/\/research\/projects\/formasig"},{"key":"14_CR54","unstructured":"UPPAAL: Project Home Page. https:\/\/uppaal.org\/"}],"container-title":["Lecture Notes in Computer Science","Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-26236-4_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,10]],"date-time":"2023-02-10T16:00:41Z","timestamp":1676044841000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-26236-4_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023]]},"ISBN":["9783031262357","9783031262364"],"references-count":54,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-26236-4_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023]]},"assertion":[{"value":"11 February 2023","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"SEFM","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Software Engineering and Formal Methods","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Berlin","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Germany","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2022","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"26 September 2022","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"30 September 2022","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"sefm2022","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/sefm-conference.github.io\/2022\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"39","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":"19","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":"9","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":"49% - 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":"3","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":"2","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":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}