{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,9]],"date-time":"2025-10-09T16:55:50Z","timestamp":1760028950701,"version":"3.44.0"},"publisher-location":"Cham","reference-count":42,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030550882"},{"type":"electronic","value":"9783030550899"}],"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.springernature.com\/gp\/researchers\/text-and-data-mining"},{"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.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020]]},"DOI":"10.1007\/978-3-030-55089-9_1","type":"book-chapter","created":{"date-parts":[[2020,7,31]],"date-time":"2020-07-31T17:08:28Z","timestamp":1596215308000},"page":"1-9","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Seamless Model-Based System Development: Foundations"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-2649-1752","authenticated-orcid":false,"given":"Manfred","family":"Broy","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,8,1]]},"reference":[{"key":"1_CR1","unstructured":"AutoFocus3 website: https:\/\/af3.fortiss.org"},{"key":"1_CR2","first-page":"19","volume":"1508","author":"S Aravantinos","year":"2015","unstructured":"Aravantinos, S., Voss, S., Teufl, F., H\u00f6lzl, B., Sch\u00e4tz, B.: AutoFOCUS 3: tooling concepts for seamless, model-based development of embedded systems. Model Based Archit. Constr. Embed. Syst. (ACES-MB) 1508, 19\u201326 (2015)","journal-title":"Model Based Archit. Constr. Embed. Syst. (ACES-MB)"},{"key":"1_CR3","doi-asserted-by":"crossref","unstructured":"B\u00f6hm, W., Junker, M., Vogelsang, A., Teufl, S., Pinger, R., Rahn, K.: A formal systems engineering approach in practice: an experience report. In: SER&IPs, pp. 34\u201341 (2014)","DOI":"10.1145\/2593850.2593856"},{"key":"1_CR4","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4613-0091-5","volume-title":"Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement","author":"M Broy","year":"2001","unstructured":"Broy, M., St\u00f8len, K.: Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement. Springer, New York (2001). https:\/\/doi.org\/10.1007\/978-1-4613-0091-5"},{"issue":"1","key":"1_CR5","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1109\/32.895987","volume":"27","author":"M Broy","year":"2001","unstructured":"Broy, M.: Toward a mathematical foundation of software engineering methods. IEEE Trans. Softw. Eng. 27(1), 42\u201357 (2001)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"1_CR6","unstructured":"Broy, M.: From states to histories: relating states and history views onto systems. In: Hoare, C.A.R., Broy, M., Steinbr\u00fcggen, R. (eds.): Engineering Theories of Software Construction. Springer NATO ASI Series, Series F: Computer and System Sciences, vol. 180, pp. 149\u2013186. IOS Press (2001)"},{"key":"1_CR7","doi-asserted-by":"crossref","unstructured":"Broy, M.: Hierarchies of models for embedded systems. In: 1st ACM and IEEE Conference on Formal Methods and Models for Co-Design, pp. 183\u2013190. IEEE Computer Society (2003)","DOI":"10.1109\/MEMCOD.2003.1210103"},{"key":"1_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1007\/978-3-540-39979-7_4","volume-title":"Formal Techniques for Networked and Distributed Systems - FORTE 2003","author":"M Broy","year":"2003","unstructured":"Broy, M.: Service-oriented systems engineering: modeling services and layered architectures. In: K\u00f6nig, H., Heiner, M., Wolisz, A. (eds.) FORTE 2003. LNCS, vol. 2767, pp. 48\u201361. Springer, Heidelberg (2003). https:\/\/doi.org\/10.1007\/978-3-540-39979-7_4"},{"key":"1_CR9","unstructured":"Broy, M.: Multi-view modeling of software systems. In: Keynote. Satellite Workshop on Formal Aspects of Component Software, 8\u20139 September, Pisa, Italy FM2003 (2003)"},{"key":"1_CR10","unstructured":"Broy, M.: Unifying models and engineering theories of composed software systems. In: Broy, M., Pizka, M. (eds.): Models, Algebra and Logic of Engineering Software, Marktoberdorf Summer School 2002. Springer NATO ASI Series, Series F: Computer and System Sciences, vol. 191 (2002)"},{"key":"1_CR11","doi-asserted-by":"crossref","unstructured":"Broy, M.: Architecture driven modeling in software development. In: Proceedings of the 9th International Conference on Engineering of Complex Computer Systems. Florence 2004, pp. 3\u201314. IEEE Computer Society (2004)","DOI":"10.1109\/ICECCS.2004.1310898"},{"key":"1_CR12","unstructured":"Broy, M.: Time, abstraction, causality, and modularity in interactive systems. In: FESCA 2004. Workshop at ETAPS 2004, pp. 1\u20138 (2004)"},{"key":"1_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/978-3-540-39910-0_7","volume-title":"Verification: Theory and Practice","author":"M Broy","year":"2003","unstructured":"Broy, M.: A functional calculus for specification and verification of nondeterministic interactive systems. In: Dershowitz, N. (ed.) Verification: Theory and Practice. LNCS, vol. 2772, pp. 161\u2013181. Springer, Heidelberg (2003). https:\/\/doi.org\/10.1007\/978-3-540-39910-0_7"},{"issue":"2\u20133","key":"1_CR14","first-page":"213","volume":"54","author":"M Broy","year":"2004","unstructured":"Broy, M.: The semantic and methodological essence of message sequence charts. Sci. Comput. Program. 54(2\u20133), 213\u2013256 (2004)","journal-title":"Sci. Comput. Program."},{"issue":"1","key":"1_CR15","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s00165-004-0051-8","volume":"17","author":"D Herzberg","year":"2005","unstructured":"Herzberg, D., Broy, M.: Modeling layered distributed communication systems. Formal Aspects Comput. 17(1), 1\u201318 (2005)","journal-title":"Formal Aspects Comput."},{"key":"1_CR16","series-title":"NATO Science Series","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1007\/1-4020-3532-2_2","volume-title":"Engineering Theories of Software Intensive Systems","author":"M Broy","year":"2005","unstructured":"Broy, M.: Service-oriented systems engineering: specification and design of services and layered architectures. In: Broy, M., Gr\u00fcnbauer, J., Harel, D., Hoare, T. (eds.) Engineering Theories of Software Intensive Systems. NSS, vol. 195, pp. 47\u201381. Springer, Dordrecht (2005). https:\/\/doi.org\/10.1007\/1-4020-3532-2_2"},{"key":"1_CR17","doi-asserted-by":"crossref","unstructured":"Broy, M., Kr\u00fcger, I., Meisinger, M.: A formal model of services. ACM Trans. Softw. Eng. Methodol. 16(1) (2007)","DOI":"10.1145\/1189748.1189753"},{"key":"1_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1007\/978-3-540-69507-3_3","volume-title":"SOFSEM 2007: Theory and Practice of Computer Science","author":"M Broy","year":"2007","unstructured":"Broy, M.: Interaction and realizability. In: van Leeuwen, J., Italiano, G., van der Hoek, W., Meinel, C., Sack, H., Pl\u00e1\u0161il, F. (eds.) SOFSEM 2007. LNCS, vol. 4362, pp. 29\u201350. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-69507-3_3"},{"key":"1_CR19","doi-asserted-by":"crossref","unstructured":"Broy, M.: Two sides of structuring multi-functional software systems: function hierarchy and component architecture. In: Kim, H.K., Tanaka, J., Malloy, B., Lee, R., Wu, C., Baik, D.K. (eds.) Proceedings 5th ACIS International Conference on Software Engineering Research, Management & Applications (SERA2007), 20\u201322 August, pp. 3\u201310. IEEE Computer Society (2007)","DOI":"10.1109\/SERA.2007.129"},{"key":"1_CR20","unstructured":"Broy, M.: Relating time and causality in interactive distributed systems. In: Broy, M., Sitou, W., Hoare, C.A.R. (eds.): Engineering Methods and Tools for Software Safety and Security, NATO Science for Peace and Security Systems, D: Information and Communication Security, vol. 22, pp. 75\u2013130. IOS Press (2009)"},{"key":"1_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-10373-5_1","volume-title":"Formal Methods and Software Engineering","author":"M Broy","year":"2009","unstructured":"Broy, M.: Seamless model driven systems engineering based on formal models. In: Breitman, K., Cavalcanti, A. (eds.) ICFEM 2009. LNCS, vol. 5885, pp. 1\u201319. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-10373-5_1"},{"key":"1_CR22","doi-asserted-by":"publisher","first-page":"1193","DOI":"10.1016\/j.scico.2010.06.007","volume":"75","author":"M Broy","year":"2010","unstructured":"Broy, M.: Multifunctional software systems: structured modeling and specification of functional requirements. Sci. Comput. Program. 75, 1193\u20131214 (2010)","journal-title":"Sci. Comput. Program."},{"issue":"10","key":"1_CR23","doi-asserted-by":"publisher","first-page":"1758","DOI":"10.1093\/comjnl\/bxq005","volume":"53","author":"M Broy","year":"2010","unstructured":"Broy, M.: A logical basis for component-oriented software and systems engineering. Comput. J. 53(10), 1758\u20131782 (2010)","journal-title":"Comput. J."},{"key":"1_CR24","unstructured":"Broy, M.: Towards a theory of architectural contracts: \u2013 schemes and patterns of assumption\/promise based system specification. In: Broy, M., Leuxner, Ch., Hoare, C.A.R. (eds.): Software and Systems Safety \u2013 Specification and Verification. NATO Science for Peace and Security Series \u2013 D: Information and Communication Security, vol. 30, pp. 33\u201387. IOS Press (2011)"},{"issue":"10","key":"1_CR25","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1109\/MC.2011.305","volume":"44","author":"M Broy","year":"2011","unstructured":"Broy, M.: Can practitioners neglect theory and theoreticians neglect practice? Computer 44(10), 19\u201324 (2011)","journal-title":"Computer"},{"key":"1_CR26","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1007\/978-1-4471-2297-5_14","volume-title":"Conquering Complexity","author":"M Broy","year":"2012","unstructured":"Broy, M.: Software and system modeling: structured multi-view modeling, specification, design and implementation. In: Hinchey, M., Coyle, L. (eds.) Conquering Complexity, pp. 309\u2013372. Springer, London (2012). https:\/\/doi.org\/10.1007\/978-1-4471-2297-5_14"},{"key":"1_CR27","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-642-24349-3_1","volume-title":"Advances in Real-Time Systems","author":"M Broy","year":"2012","unstructured":"Broy, M.: System behaviour models with discrete and dense time. In: Chakraborty, S., Ebersp\u00e4cher, J. (eds.) Advances in Real-Time Systems, pp. 3\u201325. Springer, Berlin, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-24349-3_1"},{"key":"1_CR28","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/978-3-642-34614-9","volume-title":"Model-Based Engineering of Embedded Systems: The SPES 2020 Methodology","author":"M Broy","year":"2012","unstructured":"Broy, M.: Introduction to the SPES modeling framework\/outlook. In: Pohl, K., H\u00f6nninger, H., Achatz, R., Broy, M. (eds.) Model-Based Engineering of Embedded Systems: The SPES 2020 Methodology, pp. 31\u201349. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-34614-9. pp. 251-254"},{"key":"1_CR29","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-24349-3_1","volume-title":"Advances in Real-Time Systems","author":"M Broy","year":"2012","unstructured":"Broy, M.: System behaviour models with discrete and dense time. In: Chakraborty, S., Ebersp\u00e4cher, J. (eds.) Advances in Real-Time Systems. Springer, Berlin, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-24349-3_1"},{"key":"1_CR30","unstructured":"Broy, M.: A logical approach to systems engineering artifacts and traceability: from requirements to functional and architectural views. In: Broy, M., Peled, D., Kalus, G., (eds.): Engineering Dependable Software Systems, pp. 1\u201348. IOS Press (2013)"},{"key":"1_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1007\/978-3-642-54848-2_3","volume-title":"From programs to systems. The systems perspective in computing","author":"M Broy","year":"2014","unstructured":"Broy, M.: A model of dynamic systems. In: Bensalem, S., Lakhneck, Y., Legay, A. (eds.) ETAPS 2014. LNCS, vol. 8415, pp. 39\u201353. Springer, Heidelberg (2014). https:\/\/doi.org\/10.1007\/978-3-642-54848-2_3"},{"issue":"7","key":"1_CR32","doi-asserted-by":"publisher","first-page":"1298","DOI":"10.1016\/j.jcss.2014.03.002","volume":"80","author":"M Broy","year":"2014","unstructured":"Broy, M.: Verifying of interface assertions for infinite state Mealy machines. J. Comput. Syst. Sci. 80(7), 1298\u20131322 (2014)","journal-title":"J. Comput. Syst. Sci."},{"key":"1_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1007\/978-3-319-15545-6_21","volume-title":"Software, Services, and Systems","author":"M Broy","year":"2015","unstructured":"Broy, M.: Pragmatic formal specification of system properties by tables. In: De Nicola, R., Hennicker, R. (eds.) Software, Services, and Systems. LNCS, vol. 8950, pp. 329\u2013354. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-15545-6_21"},{"key":"1_CR34","unstructured":"Broy, M.: From actions, transactions and processes to services. In: Dependable Software Systems Engineering, Reihe the NATO Science for Peace and Security Series D: Information and Communication Security, vol. 40, pp. 42\u201378 (2015)"},{"issue":"April","key":"1_CR35","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1016\/j.ic.2014.12.019","volume":"241","author":"M Broy","year":"2015","unstructured":"Broy, M.: Computability and realizability for interactive computations. Inf. Comput. 241(April), 277\u2013301 (2015)","journal-title":"Inf. Comput."},{"key":"1_CR36","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1007\/978-3-319-39086-4_2","volume-title":"Application and Theory of Petri Nets and Concurrency","author":"M Broy","year":"2016","unstructured":"Broy, M.: From actions, transactions, and processes to services. In: Kordon, F., Moldt, D. (eds.) PETRI NETS 2016. LNCS, vol. 9698, pp. 13\u201319. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-39086-4_2"},{"key":"1_CR37","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-34614-9","volume-title":"Advanced Model-Based Engineering of Embedded Systems. Extensions of the SPES 2020 Methodology","author":"M Broy","year":"2016","unstructured":"Broy, M., Pohl, K., Daembkes, H., H\u00f6nninger, H.: Advanced Model-Based Engineering of Embedded Systems. Extensions of the SPES 2020 Methodology. Springer International Publishing, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-642-34614-9"},{"key":"1_CR38","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1007\/s10270-017-0619-4","volume":"17","author":"M Broy","year":"2016","unstructured":"Broy, M.: A logical approach to systems engineering artifacts: semantic relationships and dependencies beyond traceability \u2013 from requirements to functional and architectural views. Softw. Syst. Model. 17, 365\u2013393 (2016)","journal-title":"Softw. Syst. Model."},{"issue":"1","key":"1_CR39","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/s10703-017-0304-9","volume":"52","author":"Manfred Broy","year":"2017","unstructured":"Broy, Manfred: Theory and methodology of assumption\/commitment based system interface specification and architectural contracts. Formal Methods Syst. Des. 52(1\/2018), 33\u201387 (2017). https:\/\/doi.org\/10.1007\/s10703-017-0304-9","journal-title":"Formal Methods Syst. Des."},{"key":"1_CR40","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-319-73897-0_1","volume-title":"The Essence of Software Engineering","author":"M Broy","year":"2018","unstructured":"Broy, M.: The leading role of software and systems architecture in the age of digitization. The Essence of Software Engineering, pp. 1\u201323. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-73897-0_1"},{"key":"1_CR41","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/978-3-319-73117-9_2","volume-title":"SOFSEM 2018: Theory and Practice of Computer Science","author":"M Broy","year":"2018","unstructured":"Broy, M.: On architecture specification. In: Tjoa, A., Bellatreche, L., Biffl, S., van Leeuwen, J., Wiedermann, J. (eds.) SOFSEM 2018. LNCS, vol. 10706, pp. 19\u201339. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-73117-9_2"},{"volume-title":"Model-Based Engineering of Embedded Systems. The SPES 2020 Methodology","year":"2012","key":"1_CR42","unstructured":"Pohl, K., H\u00f6nninger, H., Achatz, R., Broy, M. (eds.): Model-Based Engineering of Embedded Systems. The SPES 2020 Methodology. Springer, London (2012)"}],"container-title":["Lecture Notes in Computer Science","Engineering Trustworthy Software Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-55089-9_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,5]],"date-time":"2025-09-05T17:19:21Z","timestamp":1757092761000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-55089-9_1"}},"subtitle":["(Extended Abstract)"],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030550882","9783030550899"],"references-count":42,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-55089-9_1","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":"1 August 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"SETSS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Summer School on Engineering Trustworthy Software Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Chongqing","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"China","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":"21 April 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"27 April 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"5","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"setss2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.swu-rise.net.cn\/SETSS2019\/index.html","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Open","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":"5","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":"5","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":"100% - 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":"1.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":"1","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)"}}]}}