{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,21]],"date-time":"2026-02-21T18:56:57Z","timestamp":1771700217386,"version":"3.50.1"},"publisher-location":"Cham","reference-count":109,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030550882","type":"print"},{"value":"9783030550899","type":"electronic"}],"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_5","type":"book-chapter","created":{"date-parts":[[2020,7,31]],"date-time":"2020-07-31T17:08:28Z","timestamp":1596215308000},"page":"159-219","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["Software Abstractions and Human-Cyber-Physical Systems Architecture Modelling"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-9771-3071","authenticated-orcid":false,"given":"Zhiming","family":"Liu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8748-6140","authenticated-orcid":false,"given":"Jonathan P.","family":"Bowen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9026-2543","authenticated-orcid":false,"given":"Bo","family":"Liu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4937-8138","authenticated-orcid":false,"given":"Shmuel","family":"Tyszberowicz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4578-274X","authenticated-orcid":false,"given":"Tingting","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,8,1]]},"reference":[{"key":"5_CR1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511624162","volume-title":"The B-Book: Assigning Programs to Meanings","author":"JR Abrial","year":"1996","unstructured":"Abrial, J.R.: The B-Book: Assigning Programs to Meanings. Cambridge University Press, Cambridge (1996)"},{"key":"5_CR2","unstructured":"Ambler, S.: The Agile Unified Process (AUP). http:\/\/www.ambysoft.com\/unifiedprocess\/agileUP.html"},{"key":"5_CR3","unstructured":"Back, R.J.: On the correctness of refinement steps in program, development. Ph.D. thesis, University of Helsinki, Finland (1978)"},{"issue":"3","key":"5_CR4","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1016\/0022-0000(82)90013-7","volume":"25","author":"JA Bergstra","year":"1982","unstructured":"Bergstra, J.A., Tucker, V.J.: Expressiveness and the completeness of Hoare\u2019s logic. J. Comput. Syst. Sci. 25(3), 267\u2013284 (1982). https:\/\/doi.org\/10.1016\/0022-0000(82)90013-7","journal-title":"J. Comput. Syst. Sci."},{"issue":"2","key":"5_CR5","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/0167-6423(92)90005-V","volume":"19","author":"G Berry","year":"1992","unstructured":"Berry, G., Gonthier, G.: The Esterel synchronous programming language: design, semantics, implementation. Sci. Comput. Program. 19(2), 87\u2013152 (1992). https:\/\/doi.org\/10.1016\/0167-6423(92)90005-V","journal-title":"Sci. Comput. Program."},{"key":"5_CR6","unstructured":"Bj\u00f8rner, N.: The Z3 theorem prover. GitHub. https:\/\/github.com\/Z3Prover\/z3"},{"issue":"5","key":"5_CR7","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1109\/2.59","volume":"21","author":"BW Boehm","year":"1988","unstructured":"Boehm, B.W.: A spiral model of software development and enhancement. IEEE Comput. 21(5), 61\u201372 (1988). https:\/\/doi.org\/10.1109\/2.59","journal-title":"IEEE Comput."},{"key":"5_CR8","volume-title":"Object-Oriented Analysis and Design with Applications","author":"G Booch","year":"1994","unstructured":"Booch, G.: Object-Oriented Analysis and Design with Applications. Addison-Wesley, Boston (1994)"},{"key":"5_CR9","doi-asserted-by":"publisher","unstructured":"Bowen, J.P.: The Z notation: whence the cause and whither the course? In: Liu, Zhang [68], pp. 103\u2013151. https:\/\/doi.org\/10.1007\/978-3-319-29628-9_3","DOI":"10.1007\/978-3-319-29628-9_3"},{"key":"5_CR10","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1201\/b16812","volume-title":"Computing Handbook. Computer Science and Software Engineering","author":"JP Bowen","year":"2014","unstructured":"Bowen, J.P., Hinchey, M.G.: Formal methods. In: Gonzalez, T.F., D\u00edaz-Herrera, J., Tucker, A.B. (eds.) Computing Handbook. Computer Science and Software Engineering, 3rd edn., pp. 1\u201325. Chapman and Hall\/CRC Press, Boca Raton (2014). https:\/\/doi.org\/10.1201\/b16812. Section XI, Software Engineering, Part 8, Programming Languages","edition":"3"},{"key":"5_CR11","volume-title":"The Mythical Man-Month: Essays on Software Engineering","author":"FP Brooks","year":"1975","unstructured":"Brooks, F.P.: The Mythical Man-Month: Essays on Software Engineering. Addison-Wesley, Boston (1975)"},{"issue":"4","key":"5_CR12","doi-asserted-by":"publisher","first-page":"10","DOI":"10.1109\/MC.1987.1663532","volume":"20","author":"FP Brooks","year":"1987","unstructured":"Brooks, F.P.: No silver bullet: essence and accidents of software engineering. IEEE Comput. 20(4), 10\u201319 (1987). https:\/\/doi.org\/10.1109\/MC.1987.1663532","journal-title":"IEEE Comput."},{"issue":"5","key":"5_CR13","doi-asserted-by":"publisher","first-page":"57","DOI":"10.5555\/624609.625509","volume":"12","author":"FP Brooks","year":"1995","unstructured":"Brooks, F.P.: The mythical man-month: after 20 years. IEEE Softw. 12(5), 57\u201360 (1995). https:\/\/doi.org\/10.5555\/624609.625509","journal-title":"IEEE Softw."},{"key":"5_CR14","unstructured":"Brooks, F.P.: Learn the hard way - a history 1845\u20131980 of software engineering. In: Keynote at 40th International Conference on Software Engineering (ICSE), Gothenburg, Sweden (2018). https:\/\/www.icse2018.org\/info\/keynotes"},{"issue":"1\u20132","key":"5_CR15","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1016\/S0304-3975(99)00322-9","volume":"258","author":"M Broy","year":"2001","unstructured":"Broy, M., Stefanescu, G.: The algebra of stream processing functions. Theoret. Comput. Sci. 258(1\u20132), 99\u2013129 (2001). https:\/\/doi.org\/10.1016\/S0304-3975(99)00322-9","journal-title":"Theoret. Comput. Sci."},{"key":"5_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1007\/3-540-10699-5_101","volume-title":"Formalization of Programming Concepts","author":"M Broy","year":"1981","unstructured":"Broy, M., Wirsing, M.: On the algebraic extensions of abstract data types. In: D\u00edaz, J., Ramos, I. (eds.) ICFPC 1981. LNCS, vol. 107, pp. 244\u2013251. Springer, Heidelberg (1981). https:\/\/doi.org\/10.1007\/3-540-10699-5_101"},{"key":"5_CR17","volume-title":"Parallel Program Design: A Foundation","author":"KM Chandy","year":"1988","unstructured":"Chandy, K.M., Misra, J.: Parallel Program Design: A Foundation. Addison-Wesley, Reading (1988)"},{"issue":"2","key":"5_CR18","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1109\/MS.2012.174","volume":"30","author":"L Chen","year":"2013","unstructured":"Chen, L., Babar, M.A., Nuseibeh, B.: Characterizing architecturally significant requirements. IEEE Softw. 30(2), 38\u201345 (2013). https:\/\/doi.org\/10.1109\/MS.2012.174","journal-title":"IEEE Softw."},{"key":"5_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"819","DOI":"10.1007\/978-3-540-69507-3_71","volume-title":"SOFSEM 2007: Theory and Practice of Computer Science","author":"X Chen","year":"2007","unstructured":"Chen, X., Liu, Z., Mencl, V.: Separation of concerns and consistent integration in requirements modelling. In: van Leeuwen, J., Italiano, G.F., van der Hoek, W., Meinel, C., Sack, H., Pl\u00e1\u0161il, F. (eds.) SOFSEM 2007. LNCS, vol. 4362, pp. 819\u2013831. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-69507-3_71"},{"key":"5_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"116","DOI":"10.1007\/978-3-540-85289-6_6","volume-title":"The Common Component Modeling Example","author":"Z Chen","year":"2008","unstructured":"Chen, Z., et al.: Modelling with relational calculus of object and component systems - rCOS. In: Rausch, A., Reussner, R., Mirandola, R., Pl\u00e1\u0161il, F. (eds.) The Common Component Modeling Example. LNCS, vol. 5153, pp. 116\u2013145. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-85289-6_6"},{"issue":"4","key":"5_CR21","doi-asserted-by":"publisher","first-page":"168","DOI":"10.1016\/j.scico.2008.08.003","volume":"74","author":"Z Chen","year":"2009","unstructured":"Chen, Z., Liu, Z., Ravn, A.P., Stolz, V., Zhan, N.: Refinement and verification in component-based model driven design. Sci. Comput. Program. 74(4), 168\u2013196 (2009). https:\/\/doi.org\/10.1016\/j.scico.2008.08.003","journal-title":"Sci. Comput. Program."},{"key":"5_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1007\/BFb0025774","volume-title":"Logics of Programs","author":"EM Clarke","year":"1982","unstructured":"Clarke, E.M., Emerson, E.A.: Design and synthesis of synchronization skeletons using branching time temporal logic. In: Kozen, D. (ed.) Logic of Programs 1981. LNCS, vol. 131, pp. 52\u201371. Springer, Heidelberg (1982). https:\/\/doi.org\/10.1007\/BFb0025774"},{"key":"5_CR23","doi-asserted-by":"publisher","unstructured":"Codd, E.F., Lowry, E.S., McDonough, E., Scalzi, C.A.: Multiprogramming STRECH: feasibility consideration. Commun. ACM 2(11) (1959). https:\/\/doi.org\/10.1145\/368481.368502","DOI":"10.1145\/368481.368502"},{"key":"5_CR24","doi-asserted-by":"publisher","first-page":"277","DOI":"10.7551\/mitpress\/5641.003.0016","volume-title":"Proof, Language, and Interaction: Essays in Honour of Robin Milner","author":"P Collette","year":"2000","unstructured":"Collette, P., Jones, C.B.: Enhancing the tractability of rely\/guarantee specifications in the development of interfering operations. In: Plotkin, G.D., Stirling, C.P., Tofte, M. (eds.) Proof, Language, and Interaction: Essays in Honour of Robin Milner, pp. 277\u2013308. The MIT Press, Cambridge (2000)"},{"key":"5_CR25","doi-asserted-by":"crossref","unstructured":"Cousot, P., Cousot, R.: Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: Proceedings of Fourth ACM Symposium on Principles of Programming Languages, pp. 238\u2013252. ACM Press, Los Angeles (1977)","DOI":"10.1145\/512950.512973"},{"key":"5_CR26","unstructured":"Pigott, D.: Online historical encyclopaedia of programming languages (2020). http:\/\/hopl.info"},{"key":"5_CR27","doi-asserted-by":"publisher","unstructured":"de Alfaro, L., Henzinger, T.A.: Interface automata. ACM SIGSOFT Softw. Eng. Notes 26(5) (2001). https:\/\/doi.org\/10.1145\/503271.503226","DOI":"10.1145\/503271.503226"},{"issue":"8","key":"5_CR28","doi-asserted-by":"publisher","first-page":"453","DOI":"10.1145\/360933.360975","volume":"18","author":"E Dijkstra","year":"1975","unstructured":"Dijkstra, E.: Guarded commands, non-determinacy and formal derivation of programs. Commun. ACM 18(8), 453\u2013457 (1975). https:\/\/doi.org\/10.1145\/360933.360975","journal-title":"Commun. ACM"},{"key":"5_CR29","volume-title":"A Discipline of Programming","author":"EW Dijkstra","year":"1976","unstructured":"Dijkstra, E.W.: A Discipline of Programming. Prentice Hall, Upper saddle River (1976)"},{"issue":"10","key":"5_CR30","doi-asserted-by":"publisher","first-page":"859","DOI":"10.1145\/355604.361591","volume":"15","author":"EW Dijkstra","year":"1972","unstructured":"Dijkstra, E.W.: The humble programmer. Commun. ACM 15(10), 859\u2013866 (1972). https:\/\/doi.org\/10.1145\/355604.361591. An ACM Turing Award lecture","journal-title":"Commun. ACM"},{"key":"5_CR31","doi-asserted-by":"publisher","unstructured":"Floyd, R.W.: Assigning meanings to programs. In: Schwartz, J.T. (ed.) Mathematical Aspects of Computer Science. Proceedings of Symposium on Applied Mathematics, vol. 19, pp. 19\u201332. American Mathematical Society (1967). https:\/\/doi.org\/10.1007\/978-94-011-1793-7_4. Republished in Program Verification (1993)","DOI":"10.1007\/978-94-011-1793-7_4"},{"key":"5_CR32","doi-asserted-by":"crossref","unstructured":"Forsberg, K., Mooz, H.: The relationship of system engineering to the project cycle. In: Proceedings of the First Annual Symposium of National Council on System Engineering, pp. 57\u201365, October 1991","DOI":"10.1002\/j.2334-5837.1991.tb01484.x"},{"key":"5_CR33","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1109\/85.586068","volume":"19","author":"WK Giloi","year":"1997","unstructured":"Giloi, W.K.: Konrad Zuse\u2019s Plankalk\u00fcl: the first high-level, \u201cnon von Neumann\u201d programming language. IEEE Ann. Hist. Comput. 19, 17\u201324 (1997). https:\/\/doi.org\/10.1109\/85.586068","journal-title":"IEEE Ann. Hist. Comput."},{"key":"5_CR34","unstructured":"Goguen, J.A.: Higher-order functions considered unnecessary for higher-order programming. In: Research Topics in Functional Programming. Programming Research Group, Oxford University (1987)"},{"key":"5_CR35","unstructured":"Grattarola, F.: Margaret Hamilton - coding to the moon. In: A Computer of One\u2019s Own, December 2018. https:\/\/medium.com\/a-computer-of-ones-own\/margaret-hamilton-coding-to-the-moon-6ba70b7e6b43"},{"key":"5_CR36","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-2704-5","volume-title":"Larch: Languages and Tools for Formal Specification","author":"JV Guttag","year":"1993","unstructured":"Guttag, J.V., Horning, J.J.: Larch: Languages and Tools for Formal Specification. Springer, New York (1993). https:\/\/doi.org\/10.1007\/978-1-4612-2704-5"},{"issue":"9","key":"5_CR37","doi-asserted-by":"publisher","first-page":"1305","DOI":"10.1109\/5.97300","volume":"79","author":"N Halbwachs","year":"1991","unstructured":"Halbwachs, N., Caspi, P., Raymond, P., Pilanud, D.: The synchronous data flow programming language LUSTRE. Proc. IEEE 79(9), 1305\u20131320 (1991). https:\/\/doi.org\/10.1109\/5.97300","journal-title":"Proc. IEEE"},{"key":"5_CR38","unstructured":"Hamilton, M.H.: The language as a software engineer. In: keynote at 40th International Conference on Software Engineering (ICSE), Gothenburg, Sweden (2018). https:\/\/www.icse2018.org\/info\/keynotes"},{"issue":"3","key":"5_CR39","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D Harel","year":"1987","unstructured":"Harel, D.: Statecharts: a visual formalism for complex systems. Sci. Comput. Program. 8(3), 231\u2013274 (1987). https:\/\/doi.org\/10.1016\/0167-6423(87)90035-9","journal-title":"Sci. Comput. Program."},{"key":"5_CR40","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1007\/11560647_5","volume-title":"Theoretical Aspects of Computing","author":"J He","year":"2005","unstructured":"He, J., Li, X., Liu, Z.: Component-based software engineering. In: Hung, D.V., Wirsing, M. (eds.) Theoretical Aspects of Computing. LNCS, vol. 3722, pp. 70\u201395. Springer, Hanoi (2005). https:\/\/doi.org\/10.1007\/11560647_5. UNU-IIST TR 330"},{"issue":"1\u20132","key":"5_CR41","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1016\/j.tcs.2006.07.034","volume":"365","author":"J He","year":"2006","unstructured":"He, J., Liu, Z., Li, X.: rCOS: a refinement calculus of object systems. Theoret. Comput. Sci. 365(1\u20132), 109\u2013142 (2006). https:\/\/doi.org\/10.1016\/j.tcs.2006.07.034","journal-title":"Theoret. Comput. Sci."},{"issue":"10","key":"5_CR42","doi-asserted-by":"publisher","first-page":"576","DOI":"10.1145\/363235.363259","volume":"12","author":"CAR Hoare","year":"1969","unstructured":"Hoare, C.A.R.: An axiomatic basis for computer programming. Commun. ACM 12(10), 576\u2013580 (1969). https:\/\/doi.org\/10.1145\/363235.363259","journal-title":"Commun. ACM"},{"issue":"8","key":"5_CR43","doi-asserted-by":"publisher","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"CAR Hoare","year":"1978","unstructured":"Hoare, C.A.R.: Communicating sequential processes. Commun. ACM 21(8), 666\u2013677 (1978). https:\/\/doi.org\/10.1145\/359576.359585","journal-title":"Commun. ACM"},{"key":"5_CR44","series-title":"International Series in Computer Science","volume-title":"Unifying Theories of Programming","author":"CAR Hoare","year":"1998","unstructured":"Hoare, C.A.R., He, J.: Unifying Theories of Programming. International Series in Computer Science. Prentice Hall, Upper Saddle River (1998)"},{"key":"5_CR45","unstructured":"IEEE: SWEBOK V3.0: software engineering body of knowledge. IEEE Computer Society (2014). http:\/\/www.swebok.org"},{"key":"5_CR46","volume-title":"Principles of Program Design","author":"MA Jackson","year":"1975","unstructured":"Jackson, M.A.: Principles of Program Design. Academic, Cambridge (1975)"},{"key":"5_CR47","volume-title":"Software Requirements & Specifications: A Lexicon of Practice, Principles and Prejudices","author":"M Jackson","year":"1995","unstructured":"Jackson, M.: Software Requirements & Specifications: A Lexicon of Practice, Principles and Prejudices. ACM Press\/Addison-Wesley Publishing, Boston (1995)"},{"key":"5_CR48","volume-title":"Problem Frames: Analysing and Structuring Software Development Problems","author":"M Jackson","year":"2001","unstructured":"Jackson, M.: Problem Frames: Analysing and Structuring Software Development Problems. Addison-Wesley, Boston (2001)"},{"key":"5_CR49","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"188","DOI":"10.1007\/978-3-642-28756-5_14","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"Z Jiang","year":"2012","unstructured":"Jiang, Z., Pajic, M., Moarref, S., Alur, R., Mangharam, R.: Modeling and verification of a dual chamber implantable pacemaker. In: Flanagan, C., K\u00f6nig, B. (eds.) TACAS 2012. LNCS, vol. 7214, pp. 188\u2013203. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-28756-5_14"},{"key":"5_CR50","series-title":"International Series in Computer Science","volume-title":"Systematic Software Development Using VDM","author":"CB Jones","year":"1990","unstructured":"Jones, C.B.: Systematic Software Development Using VDM. International Series in Computer Science. Prentice Hall, Upper Saddle River (1990)"},{"issue":"2","key":"5_CR51","doi-asserted-by":"publisher","first-page":"350","DOI":"10.1109\/JSYST.2014.2322503","volume":"9","author":"SK Khaitan","year":"2014","unstructured":"Khaitan, S.K., McCalley, J.D.: Design techniques and applications of cyberphysical systems: a survey. IEEE Syst. J. 9(2), 350\u2013360 (2014)","journal-title":"IEEE Syst. J."},{"key":"5_CR52","volume-title":"The Rational Unified Process Made Easy: A Practitioner\u2019s Guide to the RUP","author":"P Kroll","year":"2003","unstructured":"Kroll, P., Kruchten, P.: The Rational Unified Process Made Easy: A Practitioner\u2019s Guide to the RUP. Addison-Wesley, Boston (2003)"},{"issue":"3","key":"5_CR53","doi-asserted-by":"publisher","first-page":"872","DOI":"10.1145\/177492.177726","volume":"16","author":"L Lamport","year":"1994","unstructured":"Lamport, L.: The temporal logic of actions. ACM Trans. Program. Lang. Syst. 16(3), 872\u2013923 (1994). https:\/\/doi.org\/10.1145\/177492.177726","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"5_CR54","volume-title":"Applying UML and Patterns: An Introduction to Object-Oriented Analysis and Design and the Unified Process","author":"C Larman","year":"2001","unstructured":"Larman, C.: Applying UML and Patterns: An Introduction to Object-Oriented Analysis and Design and the Unified Process, 2nd edn. Prentice Hall, Upper Saddle River (2001)","edition":"2"},{"key":"5_CR55","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"575","DOI":"10.1007\/BFb0020977","volume-title":"Hybrid Systems III","author":"KG Laxsen","year":"1996","unstructured":"Laxsen, K.G., Pettersson, P., Yi, W.: Diagnostic model-checking for real-time systems. In: Alur, R., Henzinger, T.A., Sontag, E.D. (eds.) HS 1995. LNCS, vol. 1066, pp. 575\u2013586. Springer, Heidelberg (1996). https:\/\/doi.org\/10.1007\/BFb0020977"},{"key":"5_CR56","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1087","DOI":"10.1007\/3-540-48118-4_8","volume-title":"FM\u201999 \u2014 Formal Methods","author":"GT Leavens","year":"1999","unstructured":"Leavens, G.T., Baker, A.L.: Enhancing the pre- and postcondition technique for more expressive specifications. In: Wing, J.M., Woodcock, J., Davies, J. (eds.) FM 1999. LNCS, vol. 1709, pp. 1087\u20131106. Springer, Heidelberg (1999). https:\/\/doi.org\/10.1007\/3-540-48118-4_8"},{"issue":"3","key":"5_CR57","doi-asserted-by":"publisher","first-page":"4837","DOI":"10.3390\/s150304837","volume":"1","author":"EA Lee","year":"2015","unstructured":"Lee, E.A.: The past, present and future of cyber-physical systems: a focus on models. Sensors 1(3), 4837\u20134869 (2015). https:\/\/doi.org\/10.3390\/s150304837","journal-title":"Sensors"},{"key":"5_CR58","volume-title":"Intelligent Systems: Technology and Applications","author":"CT Leondes","year":"2002","unstructured":"Leondes, C.T.: Intelligent Systems: Technology and Applications. CRC Press, Boca Raton (2002)"},{"key":"5_CR59","doi-asserted-by":"publisher","unstructured":"Lindsey, C.H., Boom, H.J.: A modules and separate compilation facility for ALGOL 68. ALGOL Bull. 43 (1978). https:\/\/doi.org\/10.5555\/1061719.1061724","DOI":"10.5555\/1061719.1061724"},{"key":"5_CR60","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1145\/942572.807045","volume":"9","author":"B Liskov","year":"1974","unstructured":"Liskov, B., Zilles, S.: Programming with abstract data types. SIGPLAN Not. 9, 50\u201359 (1974). https:\/\/doi.org\/10.1145\/942572.807045. In: Proceedings of the ACM SIGPLAN Symposium on Very High Level Languages","journal-title":"SIGPLAN Not."},{"key":"5_CR61","unstructured":"Liu, Z.: Software development with UML. Technical report 259, UNU-IIST: International Institute for Software Technology, United Nations University, Macau (2002)"},{"key":"5_CR62","unstructured":"Liu, Z.: Fault-tolerant programming by transformations. Ph.D. thesis, University of Warwick, UK (1991)"},{"key":"5_CR63","doi-asserted-by":"publisher","unstructured":"Liu, Z., Chen, X.: Model-driven design of object and component systems. In: Liu, Zhang [68], pp. 152\u2013255. https:\/\/doi.org\/10.1007\/978-3-319-29628-9_4","DOI":"10.1007\/978-3-319-29628-9_4"},{"key":"5_CR64","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1007\/11561163_9","volume-title":"Formal Methods for Components and Objects","author":"Z Liu","year":"2005","unstructured":"Liu, Z., Jifeng, H., Li, X.: rCOS: refinement of component and object systems. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2004. LNCS, vol. 3657, pp. 183\u2013221. Springer, Heidelberg (2005). https:\/\/doi.org\/10.1007\/11561163_9"},{"key":"5_CR65","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"641","DOI":"10.1007\/978-3-540-39893-6_36","volume-title":"Formal Methods and Software Engineering","author":"Z Liu","year":"2003","unstructured":"Liu, Z., Jifeng, H., Li, X., Chen, Y.: A relational model for formal object-oriented requirement analysis in UML. In: Dong, J.S., Woodcock, J. (eds.) ICFEM 2003. LNCS, vol. 2885, pp. 641\u2013664. Springer, Heidelberg (2003). https:\/\/doi.org\/10.1007\/978-3-540-39893-6_36"},{"issue":"5","key":"5_CR66","doi-asserted-by":"publisher","first-page":"442","DOI":"10.1007\/BF01211393","volume":"4","author":"Z Liu","year":"1992","unstructured":"Liu, Z., Joseph, M.: Transformation of programs for fault-tolerance. Formal Aspects Comput. 4(5), 442\u2013469 (1992). https:\/\/doi.org\/10.1007\/BF01211393","journal-title":"Formal Aspects Comput."},{"issue":"1","key":"5_CR67","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1145\/314602.314605","volume":"21","author":"Z Liu","year":"1999","unstructured":"Liu, Z., Joseph, M.: Specification and verification of fault-tolerance, timing, and scheduling. ACM Trans. Program. Lang. Syst. 21(1), 46\u201389 (1999). https:\/\/doi.org\/10.1145\/314602.314605","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"5_CR68","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-29628-9","volume-title":"Engineering Trustworthy Software Systems","year":"2016","unstructured":"Liu, Z., Zhang, Z. (eds.): Engineering Trustworthy Software Systems. LNCS, vol. 9506. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-29628-9"},{"key":"5_CR69","doi-asserted-by":"publisher","unstructured":"Lynch, N.A., Tuttle, M.R.: Hierarchical correctness proofs for distributed algorithms. In: Proceedings of the Sixth Annual ACM Symposium on Principles of Distributed Computing (PODC 1987), pp. 137\u2013151, August 1987. https:\/\/doi.org\/10.1145\/41840.41852","DOI":"10.1145\/41840.41852"},{"key":"5_CR70","doi-asserted-by":"publisher","first-page":"90","DOI":"10.1145\/357084.357090","volume":"2","author":"Z Manna","year":"1980","unstructured":"Manna, Z., Waldinger, R.: A deductive approach to program synthesis. ACM Trans. Program. Lang. Syst. 2, 90\u2013121 (1980). https:\/\/doi.org\/10.1145\/357084.357090","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"5_CR71","unstructured":"Manyika, J.: Big data: the next frontier for innovation, competition, and productivity (2011). http:\/\/www.mckinsey.com\/insights\/business_technology\/big_data_the_next_frontier_for_innovation"},{"key":"5_CR72","series-title":"Texts and Monographs in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-61812-3_31","volume-title":"The Origins of Digital Computers","author":"JW Mauchly","year":"1982","unstructured":"Mauchly, J.W.: Preparation of problems for EDVAC-type machines (1947). In: Randell, B. (ed.) The Origins of Digital Computers. MCS. Springer, Heidelberg (1982). https:\/\/doi.org\/10.1007\/978-3-642-61812-3_31"},{"key":"5_CR73","unstructured":"McCarthy, J.: Towards a mathematical science of computation. In: IFIP Congress, pp. 21\u201328. IFIP (1962)"},{"key":"5_CR74","volume-title":"Debugging Techniques in Large Systems","author":"H Mills","year":"1971","unstructured":"Mills, H.: Top-down programming in large systems. In: Ruskin, R. (ed.) Debugging Techniques in Large Systems. Prentice Hall, Eaglewood Cliffs (1971)"},{"key":"5_CR75","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-10235-3","volume-title":"A Calculus of Communicating Systems","author":"R Milner","year":"1980","unstructured":"Milner, R.: A Calculus of Communicating Systems. Springer, Heidelberg (1980). https:\/\/doi.org\/10.1007\/3-540-10235-3"},{"key":"5_CR76","first-page":"172","volume-title":"Beautiful Architecture: Leading Thinkers Reveal the Hidden Beauty in Software Design","author":"D Murray","year":"2009","unstructured":"Murray, D., Fraser, K.: Xen and the beauty of virtualization. In: Spinellis, D., Gousios, G. (eds.) Beautiful Architecture: Leading Thinkers Reveal the Hidden Beauty in Software Design, p. 172. O\u2019Reilly Media, Newton (2009)"},{"key":"5_CR77","unstructured":"Naur, P., Randell, B. (eds.): Software Engineering: Report of a Conference Sponsored by the NATO Science Committee, Garmisch, Germany, 7\u201311 October 1968, Brussels, Scientific Affairs Division, NATO. NATO, January 1969"},{"key":"5_CR78","unstructured":"NSF: Workshop on cyber-physical systems, Austin, Texas, 16\u201317 October 2006. https:\/\/cps-vo.org\/node\/179"},{"issue":"8","key":"5_CR79","doi-asserted-by":"publisher","first-page":"439","DOI":"10.1145\/960118.808391","volume":"13","author":"K Nygaard","year":"1978","unstructured":"Nygaard, K., Dahl, O.J.: The development of the SIMULA languages. ACM SIGPLAN Not. 13(8), 439\u2013480 (1978). https:\/\/doi.org\/10.1145\/960118.808391","journal-title":"ACM SIGPLAN Not."},{"issue":"12","key":"5_CR80","doi-asserted-by":"publisher","first-page":"1053","DOI":"10.1145\/361598.361623","volume":"15","author":"DL Parnas","year":"1972","unstructured":"Parnas, D.L.: On the criteria to be used in decomposing systems into modules. Commun. ACM 15(12), 1053\u20131058 (1972). https:\/\/doi.org\/10.1145\/361598.361623","journal-title":"Commun. ACM"},{"issue":"1","key":"5_CR81","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1016\/0167-6423(95)96871-J","volume":"25","author":"DL Parnas","year":"1995","unstructured":"Parnas, D.L., Madey, J.: Functional decomposition for computer systems. Sci. Comput. Program. 25(1), 41\u201361 (1995). https:\/\/doi.org\/10.1016\/0167-6423(95)96871-J","journal-title":"Sci. Comput. Program."},{"key":"5_CR82","volume-title":"Documenting Software Architectures: Views and Beyond","author":"C Paul","year":"2010","unstructured":"Paul, C., et al.: Documenting Software Architectures: Views and Beyond, 2nd edn. Addison-Wesley, Boston (2010)","edition":"2"},{"issue":"4","key":"5_CR83","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1145\/141874.141884","volume":"17","author":"DE Perry","year":"1992","unstructured":"Perry, D.E., Wolf, A.L.: Foundations for the study of software architecture. ACM SIGSOFT Softw. Eng. Notes 17(4), 40\u201352 (1992). https:\/\/doi.org\/10.1145\/141874.141884","journal-title":"ACM SIGSOFT Softw. Eng. Notes"},{"issue":"4","key":"5_CR84","doi-asserted-by":"publisher","first-page":"6477","DOI":"10.4249\/scholarpedia.6477","volume":"3","author":"CA Petri","year":"2008","unstructured":"Petri, C.A., Reisig, W.: Petri net. Scholarpedia 3(4), 6477 (2008). https:\/\/doi.org\/10.4249\/scholarpedia.6477","journal-title":"Scholarpedia"},{"key":"5_CR85","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.jlap.2004.03.009","volume":"60\u201361","author":"GD Plotkin","year":"2004","unstructured":"Plotkin, G.D.: The origins of structural operational semantics. J. Logic Algebraic Program. 60\u201361, 3\u201315 (2004). https:\/\/doi.org\/10.1016\/j.jlap.2004.03.009","journal-title":"J. Logic Algebraic Program."},{"key":"5_CR86","doi-asserted-by":"publisher","unstructured":"Pnueli, A.: The temporal logic of programs. In: Proceedings of the 18th Annual Symposium on Foundations of Computer Science SFCS 1977, pp. 46\u201357. IEEE, September 1977. https:\/\/doi.org\/10.1109\/SFCS.1977.32","DOI":"10.1109\/SFCS.1977.32"},{"key":"5_CR87","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/3-540-11494-7_22","volume-title":"International Symposium on Programming","author":"JP Queille","year":"1982","unstructured":"Queille, J.P., Sifakis, J.: Specification and verification of concurrent systems in CESAR. In: Dezani-Ciancaglini, M., Montanari, U. (eds.) Programming 1982. LNCS, vol. 137, pp. 337\u2013351. Springer, Heidelberg (1982). https:\/\/doi.org\/10.1007\/3-540-11494-7_22"},{"key":"5_CR88","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1109\/TSE.1975.6312842","volume":"22","author":"B Randell","year":"1975","unstructured":"Randell, B.: System structure for software fault tolerance. IEEE Trans. Softw. Eng. 22, 220\u2013232 (1975). https:\/\/doi.org\/10.1109\/TSE.1975.6312842","journal-title":"IEEE Trans. Softw. Eng."},{"key":"5_CR89","doi-asserted-by":"publisher","unstructured":"Randell, B.: Position statement: how far have we come? In: Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2008, 28 July\u20131 August 2008, Turku, Finland, p. 8. IEEE, IEEE Computer Society (2008). https:\/\/doi.org\/10.1109\/COMPSAC.2008.233","DOI":"10.1109\/COMPSAC.2008.233"},{"key":"5_CR90","unstructured":"Randell, B.: Fifty years of software engineering or the view from Garmisch. In: Keynote at 40th International Conference on Software Engineering (ICSE), Gothenburg, Sweden (2018). https:\/\/www.icse2018.org\/info\/keynotes"},{"key":"5_CR91","unstructured":"Randell, B., Buxton, J.N. (eds.): Software engineering: report of a conference sponsored by the NATO science committee, Rome, Italy, 27\u201331 October 1969, Brussels, Scientific Affairs Division, NATO. NATO (1969)"},{"key":"5_CR92","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-85289-6","volume-title":"The Common Component Modeling Example","year":"2008","unstructured":"Rausch, A., Reussner, R., Mirandola, R., Pl\u00e1s\u0306il, F. (eds.): The Common Component Modeling Example. LNCS, vol. 5153. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-85289-6"},{"key":"5_CR93","series-title":"International Series in Computer Science","volume-title":"Theory and Practice of Concurrency","author":"AW Roscoe","year":"1997","unstructured":"Roscoe, A.W.: Theory and Practice of Concurrency. International Series in Computer Science. Prentice Hall, Upper Saddle River (1997)"},{"key":"5_CR94","doi-asserted-by":"publisher","unstructured":"Royce, W.W.: Managing the development of large software systems. In: Proceedings of IEEE WESCON, pp. 1\u20139. IEEE (1970). https:\/\/doi.org\/10.5555\/41765.41801. Reprinted in ICSE (1987)","DOI":"10.5555\/41765.41801"},{"issue":"12","key":"5_CR95","doi-asserted-by":"publisher","first-page":"210","DOI":"10.1109\/MAHC.1983.10026","volume":"5","author":"GF Ryckman","year":"1983","unstructured":"Ryckman, G.F.: 17. The IBM 701 computer at the general motors research laboratories. Ann. History Comput. 5(12), 210\u2013212 (1983). https:\/\/doi.org\/10.1109\/MAHC.1983.10026","journal-title":"Ann. History Comput."},{"issue":"3","key":"5_CR96","doi-asserted-by":"publisher","first-page":"217","DOI":"10.3166\/ejc.18.217-238","volume":"18","author":"A Sangiovanni-Vincentelli","year":"2012","unstructured":"Sangiovanni-Vincentelli, A., Damm, W., Passerone, R.: Taming Dr. Frankenstein: contract-based design for cyber-physical systems. Eur. J. Control 18(3), 217\u2013238 (2012). https:\/\/doi.org\/10.3166\/ejc.18.217-238","journal-title":"Eur. J. Control"},{"key":"5_CR97","doi-asserted-by":"publisher","unstructured":"Schlingloff, B.H.: Cyber-physical systems engineering. In: Liu, Zhang [68], pp. 256\u2013289. https:\/\/doi.org\/10.1007\/978-3-319-29628-9_5","DOI":"10.1007\/978-3-319-29628-9_5"},{"key":"5_CR98","unstructured":"Scott, D., Strachey, C.: Toward a mathematical semantics for computer languages. In: Technical Monograph PRG-6, Programming Research Group, Oxford University (1971)"},{"key":"5_CR99","volume-title":"Software Engineering","author":"I Sommerville","year":"2016","unstructured":"Sommerville, I.: Software Engineering, 10th edn. Pearson, Upper Saddle River (2016)","edition":"10"},{"key":"5_CR100","series-title":"International Series in Computer Science","volume-title":"The Z Notation: A Reference Manual","author":"JM Spivey","year":"1992","unstructured":"Spivey, J.M.: The Z Notation: A Reference Manual. International Series in Computer Science, 2nd edn. Prentice Hall, Upper Saddle River (1992)","edition":"2"},{"key":"5_CR101","volume-title":"Denotational Semantics: The Scott-Strachey Approach to Programming Language Semantics","author":"JE Stoy","year":"1977","unstructured":"Stoy, J.E.: Denotational Semantics: The Scott-Strachey Approach to Programming Language Semantics. The MIT Press, Cambridge (1977)"},{"key":"5_CR102","doi-asserted-by":"publisher","unstructured":"Turing, A.M.: Checking a large routine. In: Report of a Conference on High Speed Automatic Calculating Machines, pp. 67\u201369. Cambridge University Mathematical Laboratory (1949). https:\/\/doi.org\/10.5555\/94938.94952. Reprinted in The Early British Computer Conferences (1989)","DOI":"10.5555\/94938.94952"},{"key":"5_CR103","doi-asserted-by":"crossref","unstructured":"von Neumann, J.: Introduction to \u201cthe first draft report on the edvac\u201d. Archive.org. (1945). https:\/\/web.archive.org\/web\/20130314123032\/http:\/\/qss.stanford.edu\/~godfrey\/vonNeumann\/vnedvac.pdf","DOI":"10.5479\/sil.538961.39088011475779"},{"issue":"1","key":"5_CR104","first-page":"33","volume":"30","author":"J Wang","year":"2019","unstructured":"Wang, J., Zhan, N., Feng, X., Liu, Z.: Overview of formal methods. Ruan Jian Xue Bao\/J. Softw. 30(1), 33\u201361 (2019). (in Chinese)","journal-title":"Ruan Jian Xue Bao\/J. Softw."},{"key":"5_CR105","doi-asserted-by":"publisher","unstructured":"West, D.: Hermeneutic computer science. Commun. ACM 40(4) (1997). https:\/\/doi.org\/10.1145\/248448.248467","DOI":"10.1145\/248448.248467"},{"key":"5_CR106","doi-asserted-by":"publisher","unstructured":"Wheeler, D.J.: The use of sub-routines in programmes. In: Proceedings of the 1952 ACM National Meeting, p. 235. ACM, Pittsburgh, USA (1952). https:\/\/doi.org\/10.1145\/609784.609816","DOI":"10.1145\/609784.609816"},{"key":"5_CR107","volume-title":"Preparation of Programs for an Electronic Digital Computer","author":"MV Wilkes","year":"1951","unstructured":"Wilkes, M.V., Wheeler, D.J., Gill, S.: Preparation of Programs for an Electronic Digital Computer. Addison-Wesley, Boston (1951)"},{"issue":"4","key":"5_CR108","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1145\/362575.362577","volume":"14","author":"N Wirth","year":"1971","unstructured":"Wirth, N.: Program development by stepwise refinement. Commun. ACM 14(4), 221\u2013227 (1971). https:\/\/doi.org\/10.1145\/362575.362577","journal-title":"Commun. ACM"},{"issue":"4","key":"5_CR109","doi-asserted-by":"publisher","first-page":"19:1","DOI":"10.1145\/1592434.1592436","volume":"41","author":"J Woodcock","year":"2009","unstructured":"Woodcock, J., Larsen, P.G., Bicarregui, J., Fitzgerald, J.: Formal methods: practive and experience. ACM Comput. Surv. 41(4), 19:1\u201319:36 (2009). https:\/\/doi.org\/10.1145\/1592434.1592436","journal-title":"ACM Comput. Surv."}],"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_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,5]],"date-time":"2025-09-05T17:23:33Z","timestamp":1757093013000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-55089-9_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030550882","9783030550899"],"references-count":109,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-55089-9_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"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)"}}]}}