{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,4]],"date-time":"2025-11-04T23:37:46Z","timestamp":1762299466657,"version":"3.40.3"},"publisher-location":"Cham","reference-count":37,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030582975"},{"type":"electronic","value":"9783030582982"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/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":"https:\/\/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-58298-2_10","type":"book-chapter","created":{"date-parts":[[2020,8,28]],"date-time":"2020-08-28T18:04:52Z","timestamp":1598637892000},"page":"231-251","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["Formal Verification of OIL Component Specifications using mCRL2"],"prefix":"10.1007","author":[{"given":"Olav","family":"Bunte","sequence":"first","affiliation":[]},{"given":"Louis C. M. van","family":"Gool","sequence":"additional","affiliation":[]},{"given":"Tim A. C.","family":"Willemse","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2020,8,29]]},"reference":[{"issue":"2","key":"10_CR1","first-page":"7","volume":"3","author":"R Axelsson","year":"2007","unstructured":"Axelsson, R., Lange, M., Somla, R.: The complexity of model checking higher-order fixpoint logic. Logical Methods Comput. Sci. 3(2), 7 (2007)","journal-title":"Logical Methods Comput. Sci."},{"key":"10_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-030-27008-7_1","volume-title":"Formal Methods for Industrial Critical Systems","author":"D Basile","year":"2019","unstructured":"Basile, D., ter Beek, M.H., Ferrari, A., Legay, A.: Modelling and analysing ERTMS L3 moving block railway signalling with simulink and Uppaal SMC. In: Larsen, K.G., Willemse, T. (eds.) FMICS 2019. LNCS, vol. 11687, pp. 1\u201321. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-27008-7_1"},{"key":"10_CR3","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"},{"key":"10_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"387","DOI":"10.1007\/978-3-662-54494-5_23","volume-title":"Fundamental Approaches to Software Engineering","author":"MH ter Beek","year":"2017","unstructured":"ter Beek, M.H., de Vink, E.P., Willemse, T.A.C.: Family-based model checking with mCRL2. In: Huisman, M., Rubin, J. (eds.) FASE 2017. LNCS, vol. 10202, pp. 387\u2013405. Springer, Heidelberg (2017). https:\/\/doi.org\/10.1007\/978-3-662-54494-5_23"},{"key":"10_CR5","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1016\/j.scico.2017.10.011","volume":"154","author":"U Berger","year":"2018","unstructured":"Berger, U., James, P., Lawrence, A., Roggenbach, M., Seisenberger, M.: Verification of the European rail traffic management system in real-time Maude. Sci. Comput. Program. 154, 61\u201388 (2018)","journal-title":"Sci. Comput. Program."},{"key":"10_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1007\/978-3-319-67113-0_14","volume-title":"Critical Systems: Formal Methods and Automated Verification","author":"R van Beusekom","year":"2017","unstructured":"van Beusekom, R., et al.: Formalising the Dezyne modelling language in mCRL2. In: Petrucci, L., Seceleanu, C., Cavalcanti, A. (eds.) FMICS\/AVoCS -2017. LNCS, vol. 10471, pp. 217\u2013233. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-67113-0_14"},{"key":"10_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1007\/978-3-030-27008-7_2","volume-title":"Formal Methods for Industrial Critical Systems","author":"M Bouwman","year":"2019","unstructured":"Bouwman, M., Janssen, B., Luttik, B.: Formal modelling and verification of an interlocking using mCRL2. In: Larsen, K.G., Willemse, T. (eds.) FMICS 2019. LNCS, vol. 11687, pp. 22\u201339. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-27008-7_2"},{"key":"10_CR8","doi-asserted-by":"crossref","unstructured":"Bravenboer, M., Kalleberg, K.T., Vermaas, R., Visser, E.: Stratego\/XT 0.17. A language and toolset for program transformation. Sci. Comput. Program. 72(1\u20132), 52\u201370 (2008)","DOI":"10.1016\/j.scico.2007.11.003"},{"key":"10_CR9","unstructured":"Bunte, O., van Gool, L.C.M., Willemse, T.A.C.: Semantics and model checking of OIL component specifications. Technical report, Eindhoven University of Technology (2020)"},{"key":"10_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/978-3-030-17465-1_2","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"O Bunte","year":"2019","unstructured":"Bunte, O., et al.: The mCRL2 toolset for analysing concurrent systems. In: Vojnar, T., Zhang, L. (eds.) TACAS 2019. LNCS, vol. 11428, pp. 21\u201339. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-17465-1_2"},{"key":"10_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1007\/978-3-030-30985-5_18","volume-title":"From Software Engineering to Formal Methods and Tools, and Back","author":"M Cordy","year":"2019","unstructured":"Cordy, M., et al.: A decade of featured transition systems. In: ter Beek, M.H., Fantechi, A., Semini, L. (eds.) From Software Engineering to Formal Methods and Tools, and Back. LNCS, vol. 11865, pp. 285\u2013312. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-30985-5_18"},{"key":"10_CR12","doi-asserted-by":"crossref","unstructured":"Csert\u00e1n, G., Huszerl, G., Majzik, I., Pap, Z., Pataricza, A., Varr\u00f3, D.: VIATRA - visual automated transformations for formal verification and validation of UML models. In: ASE, pp. 267\u2013270. IEEE Computer Society (2002)","DOI":"10.1109\/ASE.2002.1115027"},{"key":"10_CR13","doi-asserted-by":"crossref","unstructured":"Denkers, J., van Gool, L., Visser, E.: Migrating custom DSL implementations to a language workbench (tool demo). In: SLE, pp. 205\u2013209. ACM (2018)","DOI":"10.1145\/3276604.3276608"},{"issue":"2\u20133","key":"10_CR14","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1016\/S0167-6423(02)00133-8","volume":"47","author":"J Fernandez","year":"2003","unstructured":"Fernandez, J., Bozga, M., Ghirvu, L.: State space reduction based on live variables analysis. Sci. Comput. Program. 47(2\u20133), 203\u2013220 (2003)","journal-title":"Sci. Comput. Program."},{"key":"10_CR15","unstructured":"Frenken, M.: Code generation and model-based testing in context of OIL. Master\u2019s thesis, Eindhoven University of Technology (2019)"},{"key":"10_CR16","unstructured":"van Gool, L.: Formalising interface specifications. Ph.D. thesis, Eindhoven University of Technology (2006)"},{"key":"10_CR17","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/9946.001.0001","volume-title":"Modeling and Analysis of Communicating Systems","author":"JF Groote","year":"2014","unstructured":"Groote, J.F., Mousavi, M.R.: Modeling and Analysis of Communicating Systems. MIT Press, Cambridge (2014)"},{"issue":"3","key":"10_CR18","doi-asserted-by":"publisher","first-page":"332","DOI":"10.1016\/j.tcs.2005.06.016","volume":"343","author":"JF Groote","year":"2005","unstructured":"Groote, J.F., Willemse, T.A.C.: Parameterised boolean equation systems. Theor. Comput. Sci. 343(3), 332\u2013369 (2005)","journal-title":"Theor. Comput. Sci."},{"issue":"1\u20132","key":"10_CR19","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/s11334-009-0116-1","volume":"6","author":"HH Hansen","year":"2010","unstructured":"Hansen, H.H., Ketema, J., Luttik, B., Mousavi, M.R., van de Pol, J.: Towards model checking executable UML specifications in mCRL2. Innovations Syst. Softw. Eng. 6(1\u20132), 83\u201390 (2010). https:\/\/doi.org\/10.1007\/s11334-009-0116-1","journal-title":"Innovations Syst. Softw. Eng."},{"issue":"12","key":"10_CR20","doi-asserted-by":"publisher","first-page":"2435","DOI":"10.1016\/j.scico.2012.11.009","volume":"78","author":"Y Hwong","year":"2013","unstructured":"Hwong, Y., Keiren, J.J.A., Kusters, V.J.J., Leemans, S.J.J., Willemse, T.A.C.: Formalising and analysing the control software of the compact muon solenoid experiment at the Large Hadron Collider. Sci. Comput. Program. 78(12), 2435\u20132452 (2013)","journal-title":"Sci. Comput. Program."},{"key":"10_CR21","doi-asserted-by":"publisher","first-page":"158","DOI":"10.1016\/j.tcs.2018.02.005","volume":"765","author":"MA Islam","year":"2019","unstructured":"Islam, M.A., Cleaveland, R., Fenton, F.H., Grosu, R., Jones, P.L., Smolka, S.A.: Probabilistic reachability for multi-parameter bifurcation analysis of cardiac alternans. Theor. Comput. Sci. 765, 158\u2013169 (2019)","journal-title":"Theor. Comput. Sci."},{"key":"10_CR22","doi-asserted-by":"publisher","first-page":"100427","DOI":"10.1016\/j.jlamp.2018.11.007","volume":"110","author":"D Kernberger","year":"2020","unstructured":"Kernberger, D., Lange, M.: Model checking for hybrid branching-time logics. J. Logic. Algebraic Methods Program. 110, 100427 (2020)","journal-title":"J. Logic. Algebraic Methods Program."},{"key":"10_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1007\/978-3-319-19458-5_4","volume-title":"Formal Methods for Industrial Critical Systems","author":"JH Kim","year":"2015","unstructured":"Kim, J.H., Larsen, K.G., Nielsen, B., Miku\u010dionis, M., Olsen, P.: Formal analysis and testing of real-time automotive systems using UPPAAL tools. In: N\u00fa\u00f1ez, M., G\u00fcdemann, M. (eds.) FMICS 2015. LNCS, vol. 9128, pp. 47\u201361. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-19458-5_4"},{"key":"10_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1007\/978-3-030-00244-2_3","volume-title":"Formal Methods for Industrial Critical Systems","author":"M K\u00f6lbl","year":"2018","unstructured":"K\u00f6lbl, M., Leue, S.: Automated functional safety analysis of automated driving systems. In: Howar, F., Barnat, J. (eds.) FMICS 2018. LNCS, vol. 11119, pp. 35\u201351. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-030-00244-2_3"},{"issue":"6","key":"10_CR25","doi-asserted-by":"publisher","first-page":"637","DOI":"10.1007\/s001659970003","volume":"11","author":"D Latella","year":"1999","unstructured":"Latella, D., Majzik, I., Massink, M.: Automatic verification of a behavioural subset of UML statechart diagrams using the SPIN model-checker. Formal Aspects Comput. 11(6), 637\u2013664 (1999). https:\/\/doi.org\/10.1007\/s001659970003","journal-title":"Formal Aspects Comput."},{"key":"10_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1007\/978-3-319-33951-1_10","volume-title":"Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification","author":"C Limbr\u00e9e","year":"2016","unstructured":"Limbr\u00e9e, C., Cappart, Q., Pecheur, C., Tonetta, S.: Verification of railway interlocking - compositional approach with OCRA. In: Lecomte, T., Pinger, R., Romanovsky, A. (eds.) RSSRail 2016. LNCS, vol. 9707, pp. 134\u2013149. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-33951-1_10"},{"key":"10_CR27","doi-asserted-by":"publisher","unstructured":"Mitsch, S., Gario, M., Budnik, C.J., Golm, M., Platzer, A.: Formal verification of train control with air pressure brakes. In: Fantechi, A., Lecomte, T., Romanovsky, A. (eds.) Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification. RSSRail 2017. Lecture Notes in Computer Science, vol. 10598, pp. 173\u2013191. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-68499-4_12","DOI":"10.1007\/978-3-319-68499-4_12"},{"key":"10_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1007\/978-3-642-04761-9_5","volume-title":"Automated Technology for Verification and Analysis","author":"J van de Pol","year":"2009","unstructured":"van de Pol, J., Timmer, M.: State space reduction of linear processes using control flow reconstruction. In: Liu, Z., Ravn, A.P. (eds.) ATVA 2009. LNCS, vol. 5799, pp. 54\u201368. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-04761-9_5"},{"key":"10_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1007\/978-3-642-38088-4_17","volume-title":"NASA Formal Methods","author":"D Remenska","year":"2013","unstructured":"Remenska, D., et al.: From UML to process algebra and back: an automated approach to model-checking software design artifacts of concurrent systems. In: Brat, G., Rungta, N., Venet, A. (eds.) NFM 2013. LNCS, vol. 7871, pp. 244\u2013260. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-38088-4_17"},{"issue":"2","key":"10_CR30","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1145\/3076125.3076128","volume":"14","author":"S Sankaranarayanan","year":"2017","unstructured":"Sankaranarayanan, S., Kumar, S.A., Cameron, F., Bequette, B.W., Fainekos, G.E., Maahs, D.M.: Model-based falsification of an artificial pancreas control system. SIGBED Rev. 14(2), 24\u201333 (2017)","journal-title":"SIGBED Rev."},{"issue":"3","key":"10_CR31","doi-asserted-by":"publisher","first-page":"357","DOI":"10.1016\/S1571-0661(04)00262-2","volume":"55","author":"T Sch\u00e4fer","year":"2001","unstructured":"Sch\u00e4fer, T., Knapp, A., Merz, S.: Model checking UML state machines and collaborations. Electron. Notes Theor. Comput. Sci. 55(3), 357\u2013369 (2001)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"10_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1007\/978-3-319-19458-5_5","volume-title":"Formal Methods for Industrial Critical Systems","author":"P Schrammel","year":"2015","unstructured":"Schrammel, P., Kroening, D., Brain, M., Martins, R., Teige, T., Bienm\u00fcller, T.: Successful use of incremental BMC in the automotive industry. In: N\u00fa\u00f1ez, M., G\u00fcdemann, M. (eds.) FMICS 2015. LNCS, vol. 9128, pp. 62\u201377. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-19458-5_5"},{"issue":"3","key":"10_CR33","doi-asserted-by":"publisher","first-page":"12:1","DOI":"10.1145\/2187671.2187674","volume":"44","author":"J Silva","year":"2012","unstructured":"Silva, J.: A vocabulary of program slicing-based techniques. ACM Comput. Surv. 44(3), 12:1\u201312:41 (2012)","journal-title":"ACM Comput. Surv."},{"key":"10_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/978-3-030-00244-2_5","volume-title":"Formal Methods for Industrial Critical Systems","author":"J Toennemann","year":"2018","unstructured":"Toennemann, J., Rausch, A., Howar, F., Cool, B.: Checking consistency of real-time requirements on distributed automotive control software early in the development process using UPPAAL. In: Howar, F., Barnat, J. (eds.) FMICS 2018. LNCS, vol. 11119, pp. 67\u201382. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-030-00244-2_5"},{"key":"10_CR35","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1007\/978-3-642-02424-5_9","volume-title":"Applications and Theory of Petri Nets","author":"A Valmari","year":"2009","unstructured":"Valmari, A.: Bisimilarity minimization in O(m logn) time. In: Franceschinis, G., Wolf, K. (eds.) PETRI NETS 2009. LNCS, vol. 5606, pp. 123\u2013142. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-02424-5_9"},{"key":"10_CR36","doi-asserted-by":"crossref","unstructured":"Visser, E., et al.: A language designer\u2019s workbench: a one-stop-shop for implementation and verification of language designs. In: Onward!, pp. 95\u2013111. ACM (2014)","DOI":"10.1145\/2661136.2661149"},{"key":"10_CR37","doi-asserted-by":"crossref","unstructured":"Zhang, S.J., Liu, Y.: An automatic approach to model checking UML state machines. In: SSIRI (Companion), pp. 1\u20136. IEEE Computer Society (2010)","DOI":"10.1109\/SSIRI-C.2010.11"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Industrial Critical Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-58298-2_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,8,12]],"date-time":"2024-08-12T19:57:52Z","timestamp":1723492672000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-58298-2_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030582975","9783030582982"],"references-count":37,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-58298-2_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"29 August 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"FMICS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Formal Methods for Industrial Critical Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Vienna","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Austria","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2020","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2 September 2020","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"3 September 2020","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"25","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"fmics2020","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/fmics20.ait.ac.at\/","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":"26","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":"11","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":"42% - 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":"3","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)"}},{"value":"The conference was held virtually due to the COVID-19 pandemic.","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}