{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,15]],"date-time":"2025-10-15T17:30:33Z","timestamp":1760549433216,"version":"3.40.4"},"publisher-location":"Cham","reference-count":29,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319028118"},{"type":"electronic","value":"9783319028125"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-02812-5_1","type":"book-chapter","created":{"date-parts":[[2013,10,4]],"date-time":"2013-10-04T09:33:23Z","timestamp":1380879203000},"page":"1-19","source":"Crossref","is-referenced-by-count":12,"title":["Foundations for Model-Based Engineering of Systems of Systems"],"prefix":"10.1007","author":[{"given":"John","family":"Fitzgerald","sequence":"first","affiliation":[]},{"given":"Peter Gorm","family":"Larsen","sequence":"additional","affiliation":[]},{"given":"Jim","family":"Woodcock","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"doi-asserted-by":"crossref","unstructured":"Andrews, Z.H., Fitzgerald, J.S., Payne, R., Romanovsky, A.: Fault modelling for systems of systems. In: 11th IEEE International Symposium on Autonomous Decentralized System (ISADS), pp. 1\u20138. IEEE Computer Society (March 2013)","key":"1_CR1","DOI":"10.1109\/ISADS.2013.6513445"},{"doi-asserted-by":"crossref","unstructured":"Andrews, Z.H., Payne, R., Romanovsky, A., Didier, A.L.R., Mota, A.: Model-based development of fault tolerant systems of systems. In: 7th International Systems Conference, IEEE SysCon. IEEE (April 2013)","key":"1_CR2","DOI":"10.1109\/SysCon.2013.6549906"},{"key":"1_CR3","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1109\/TDSC.2004.2","volume":"1","author":"A. Avizienis","year":"2004","unstructured":"Avizienis, A., Laprie, J.-C., Randell, B., Landwehr, C.: Basic Concepts and Taxonomy of Dependable and Secure Computing. IEEE Transactions on Dependable and Secure Computing\u00a01, 11\u201333 (2004)","journal-title":"IEEE Transactions on Dependable and Secure Computing"},{"key":"1_CR4","first-page":"5","volume":"6","author":"M.A. Bedau","year":"2003","unstructured":"Bedau, M.A.: Downward causation and autonomy in weak emergence. Principia Revista Internacional de Epistemologica\u00a06, 5\u201350 (2003)","journal-title":"Principia Revista Internacional de Epistemologica"},{"unstructured":"Boardman, J., Sauser, B.: System of Systems \u2013 the meaning of \u201cof\u201d. In: Proceedings of the 2006 IEEE\/SMC International Conference on System of Systems Engineering, Los Angeles, CA. IEEE (April 2006)","key":"1_CR5"},{"key":"1_CR6","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0065-2458(03)59001-5","volume":"59","author":"G. Booch","year":"2003","unstructured":"Booch, G., Brown, A.W.: Collaborative development environments. Advances in Computers\u00a059, 1\u201327 (2003)","journal-title":"Advances in Computers"},{"doi-asserted-by":"crossref","unstructured":"Butterfield, A., Gancarski, P., Woodcock, J.: State visibility and communication in unifying theories of programming. In: Theoretical Aspects of Software Engineering, pp. 47\u201354. IEEE Computer Society (2009)","key":"1_CR7","DOI":"10.1109\/TASE.2009.57"},{"unstructured":"Cantot, P., Luzeaux, D.: Simulation and Modeling of Systems of Systems. Wiley (2011)","key":"1_CR8"},{"doi-asserted-by":"crossref","unstructured":"Coleman, J.W., Malmos, A.K., Larsen, P.G., Peleska, J., Hains, R., Andrews, Z., Payne, R., Foster, S., Miyazawa, A., Bertolini, C., Didier, A.: COMPASS Tool Vision for a System of Systems Collaborative Development Environment. In: Proceedings of the 7th International Conference on System of System Engineering, IEEE SoSE 2012, pp. 451\u2013456 (July 2012)","key":"1_CR9","DOI":"10.1109\/SYSoSE.2012.6384150"},{"doi-asserted-by":"crossref","unstructured":"DeLaurentis, D.A., Crossley, W.A.: A taxonomy-based Perspective for Systems of Systems Design Methods. In: IEEE International Conference on Systems, Man and Cybernetics, vol.\u00a01, pp. 86\u201391. IEEE (October 2005)","key":"1_CR10","DOI":"10.1109\/ICSMC.2005.1571126"},{"issue":"1-3","key":"1_CR11","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1016\/j.scico.2007.01.015","volume":"69","author":"M.D. Ernst","year":"2007","unstructured":"Ernst, M.D., Perkins, J.H., Guo, P.J., McCamant, S., Pacheco, C., Tschantz, M.S., Xiao, C.: The daikon system for dynamic detection of likely invariants. Sci. Comput. Program.\u00a069(1-3), 35\u201345 (2007)","journal-title":"Sci. Comput. Program."},{"unstructured":"European Commission. Directions in Systems of Systems Engineering. Technical report, European Commission, Communications Networks, Content and Technology Directorate- General Unit A3-DG CONNECT (July 2012)","key":"1_CR12"},{"doi-asserted-by":"crossref","unstructured":"Fang, Z., DeLaurentis, D.A., Davendralingam, N.: An Approach to Facilitate Decision Making on Architecture Evolution Strategies. In: 2013 Conference on Systems Engineering Research, Atlanta, Georgia. Procedia Computer Science, vol.\u00a016, pp. 275\u2013282 (2013)","key":"1_CR13","DOI":"10.1016\/j.procs.2013.01.029"},{"doi-asserted-by":"crossref","unstructured":"Han, S.Y., DeLaurentis, D.A.: Development Interdependency Modeling for System-of-Systems (SoS) using Bayesian Networks: SoS Management Strategy Planning. In: 2013 Conference on Systems Engineering Research, Atlanta, Georgia. Procedia Computer Science, vol. 16, pp. 698\u2013707 (March 2013)","key":"1_CR14","DOI":"10.1016\/j.procs.2013.01.073"},{"doi-asserted-by":"crossref","unstructured":"Hardebolle, C., Boulanger, F.: Multi-formalism modelling and model execution. International Journal of Computers and their Applications\u00a031(3), 193\u2013203 (2009); Special Issue on the International Summer School on Software Engineering","key":"1_CR15","DOI":"10.1080\/1206212X.2009.11441941"},{"doi-asserted-by":"crossref","unstructured":"Hoare, T., He, J.: Unifying Theories of Programming. Prentice Hall (April 1998)","key":"1_CR16","DOI":"10.1007\/BFb0002714"},{"doi-asserted-by":"crossref","unstructured":"Holt, J., Perry, S.: SysML for Systems Engineering. IET (2008)","key":"1_CR17","DOI":"10.1049\/PBPC007E"},{"doi-asserted-by":"crossref","unstructured":"Jamshidi, M.: System of Systems Engineering: Innovations for the Twenty-First Century, 1st edn. Wiley (November 2008)","key":"1_CR18","DOI":"10.1109\/ICIINFS.2008.4798321"},{"key":"1_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1007\/978-3-540-89437-7_11","volume-title":"Software-Intensive Systems and New Computing Paradigms","author":"H. Jun","year":"2008","unstructured":"Jun, H., Liu, Z., Reed, G.M., Sanders, J.W.: Ensemble engineering and emergence. In: Wirsing, M., Ban\u00e2tre, J.-P., H\u00f6lzl, M., Rauschmayer, A. (eds.) Soft-Ware Intensive Systems. LNCS, vol.\u00a05380, pp. 162\u2013178. Springer, Heidelberg (2008)"},{"issue":"1","key":"1_CR20","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1668862.1668864","volume":"35","author":"P.G. Larsen","year":"2010","unstructured":"Larsen, P.G., Battle, N., Ferreira, M., Fitzgerald, J., Lausdahl, K., Verhoef, M.: The Overture Initiative \u2013 Integrating Tools for VDM. SIGSOFT Softw. Eng. Notes\u00a035(1), 1\u20136 (2010)","journal-title":"SIGSOFT Softw. Eng. Notes"},{"doi-asserted-by":"crossref","unstructured":"Maier, M.W.: Architecting Principles for Systems-of-Systems. In: Sixth International Symposium of the International Council on Systems Engineering, INCOSE (1996)","key":"1_CR21","DOI":"10.1002\/j.2334-5837.1996.tb02054.x"},{"doi-asserted-by":"crossref","unstructured":"Miyazawa, A., Lima, L., Cavalcanti, A.: Formal models of sysml blocks. In: Groves, L., Sun, J. (eds.) Accepted for publication at ICFEM 2013, Queenstown, New Zealand. Springer (October 2013)","key":"1_CR22","DOI":"10.1007\/978-3-642-41202-8_17"},{"key":"1_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"298","DOI":"10.1007\/978-3-642-20398-5_22","volume-title":"NASA Formal Methods","author":"J. Peleska","year":"2011","unstructured":"Peleska, J., Vorobev, E., Lapschies, F.: Automated Test Case Generation with SMT-Solving and Abstract Interpretation. In: Bobaru, M., Havelund, K., Holzmann, G.J., Joshi, R. (eds.) NFM 2011. LNCS, vol.\u00a06617, pp. 298\u2013312. Springer, Heidelberg (2011)"},{"key":"1_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1007\/978-3-642-14521-6_9","volume-title":"Unifying Theories of Programming","author":"J.I. Perna","year":"2010","unstructured":"Perna, J.I., Woodcock, J.: UTP Semantics for Handel-C. In: Butterfield, A. (ed.) UTP 2008. LNCS, vol.\u00a05713, pp. 142\u2013160. Springer, Heidelberg (2010)"},{"doi-asserted-by":"crossref","unstructured":"Sahin, F., Jamshidi, M., Sridhar, P.: A Discrete Event XML based Simulation Framework for System of Systems Architectures. In: IEEE International Conference on System of Systems Engineering, SoSE 2007 (April 2007)","key":"1_CR25","DOI":"10.1109\/SYSOSE.2007.4304297"},{"issue":"1","key":"1_CR26","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1007\/s00165-011-0190-7","volume":"24","author":"J.W. Sanders","year":"2012","unstructured":"Sanders, J.W., Smith, G.: Emergence and Refinement. Formal Aspects of Computing\u00a024(1), 45\u201365 (2012)","journal-title":"Formal Aspects of Computing"},{"doi-asserted-by":"crossref","unstructured":"Woodcock, J., Cavalcanti, A., Fitzgerald, J., Larsen, P., Miyazawa, A., Perry, S.: Features of CML: a Formal Modelling Language for Systems of Systems. In: Proceedings of the 7th International Conference on System of System Engineering. IEEE (July 2012)","key":"1_CR27","DOI":"10.1109\/SYSoSE.2012.6384144"},{"issue":"4","key":"1_CR28","doi-asserted-by":"publisher","first-page":"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: Practice and Experience. ACM Computing Surveys\u00a041(4), 1\u201336 (2009)","journal-title":"ACM Computing Surveys"},{"key":"1_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"238","DOI":"10.1007\/978-3-642-14521-6_14","volume-title":"Unifying Theories of Programming","author":"N. Zhan","year":"2010","unstructured":"Zhan, N., Kang, E.Y., Liu, Z.: Component publications and compositions. In: Butterfield, A. (ed.) UTP 2008. LNCS, vol.\u00a05713, pp. 238\u2013257. Springer, Heidelberg (2010)"}],"container-title":["Complex Systems Design & Management"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-02812-5_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,30]],"date-time":"2025-04-30T15:30:39Z","timestamp":1746027039000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-02812-5_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319028118","9783319028125"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-02812-5_1","relation":{},"subject":[],"published":{"date-parts":[[2014]]}}}