{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T14:34:22Z","timestamp":1742999662444,"version":"3.40.3"},"publisher-location":"Cham","reference-count":18,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319049472"},{"type":"electronic","value":"9783319049489"}],"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":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-04948-9_34","type":"book-chapter","created":{"date-parts":[[2014,2,19]],"date-time":"2014-02-19T15:32:39Z","timestamp":1392823959000},"page":"405-415","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["System of Systems Design Verification: Problematic, Trends and Opportunities"],"prefix":"10.1007","author":[{"given":"Mustapha","family":"Bilal","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nicolas","family":"Daclin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vincent","family":"Chapurlat","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2014,2,20]]},"reference":[{"key":"34_CR1","unstructured":"Blanchard, B.S., & Fabrycky, W.J. (2011). Systems engineering and analysis (5th ed.)."},{"key":"34_CR2","doi-asserted-by":"crossref","unstructured":"Chapman, W.L., & Rozenblit, J. (1995). Complexity of the system design problem. In Proceedings of the 1995 IEEE International Symposium and Workshop on Systems Engineering of Computer Based Systems, (pp. 51\u201357).","DOI":"10.1109\/ECBS.1995.521840"},{"issue":"4","key":"34_CR3","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1002\/(SICI)1520-6858(1998)1:4<267::AID-SYS3>3.0.CO;2-D","volume":"1","author":"MW Maier","year":"1998","unstructured":"Maier, M. W. (1998). Architecting principles for systems-of-systems. Systems Engineering,\n                  1(4), 267\u2013284.","journal-title":"Systems Engineering"},{"key":"34_CR4","unstructured":"Stevens Institute Of Technology, Castle Point On Hudson, Hoboken, NJ 07030: Report On System Of Systems Engineering. August 2006."},{"key":"34_CR5","volume-title":"Research foundations, School of Aeronautics and Astronautics","author":"D DeLaurentis","year":"2007","unstructured":"DeLaurentis, D. (2007). Research foundations, School of Aeronautics and Astronautics. West Lafayette: Purdue University."},{"key":"34_CR6","doi-asserted-by":"crossref","unstructured":"Sheard, S. (2006). Is systems engineering for \u201csystems of systems\u201d really any different? INCOSE insight (Vol. 9, Issue 1).","DOI":"10.1002\/inst.20069119"},{"key":"34_CR7","unstructured":"de Weck, O. L., Ross, A. M., & Rhodes, D. H. (2012). Investigating relationships and semantic sets amongst system lifecycle properties (-ilities). In Third International Engineering Systems Symposium CESUN 2012, June 18\u201320, 2012, Delft University of Technology."},{"key":"34_CR8","doi-asserted-by":"crossref","unstructured":"Clark, J. O. (2009). System of systems engineering and family of systems engineering from a standards, V-model, and Dual-V model perspective. In Systems Conference, 2009 3rd Annual IEEE, March 23\u201326, 2009 (pp. 381\u2013387).","DOI":"10.1109\/SYSTEMS.2009.4815831"},{"issue":"7","key":"34_CR9","doi-asserted-by":"publisher","first-page":"643","DOI":"10.1016\/j.compind.2012.03.002","volume":"63","author":"S Mallek","year":"2012","unstructured":"Mallek, S., Daclin, N., & Chapurlat, V. (2012). The application of interoperability requirement specification and verification to collaborative processes in industry. Computers in Industry,\n                  63(7), 643\u2013658.","journal-title":"Computers in Industry"},{"key":"34_CR10","doi-asserted-by":"crossref","unstructured":"Chapurlat, V. (2013). UPSL-SE: A model verification framework for systems engineering. Computers in Industry, 64(5), 581\u2013597, ISSN 0166-3615.","DOI":"10.1016\/j.compind.2013.03.002"},{"issue":"4","key":"34_CR11","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1145\/1592434.1592436","volume":"41","author":"J Woodcock","year":"2009","unstructured":"Woodcock, J., Larsen, P. G., Bicarregui, J., & Fitzgerald, J. (2009). Formal methods: Practice and experience. ACM Computing Surveys (CSUR),\n                  41(4), 19.","journal-title":"ACM Computing Surveys (CSUR)"},{"key":"34_CR12","volume-title":"Model checking. Handbook of automated reasoning","author":"E Clarke","year":"2000","unstructured":"Clarke, E., & Schlingloff, H. (2000). Model checking. Handbook of automated reasoning. Amsterdam: Elsevier."},{"key":"34_CR13","doi-asserted-by":"crossref","unstructured":"Camarinha-Matos, L. M., & Afsarmanesh, H. (1999). The virtual enterprise concept. Portugal: Kluwer Academic Publishers.","DOI":"10.1007\/978-0-387-35577-1_1"},{"key":"34_CR14","unstructured":"Saunders, T. et al. (2005, July). In United States Air Force Scientific Advisory Board Report on System of Systems Engineering for Air Force Capability Development SAB-TR-05-04, July 2005."},{"key":"34_CR15","unstructured":"Drusinsky, D., Michael, J. B., & Shing, M. T. (2004). Behavioral modeling and run-time verification of system-of-systems architectural requirements. In Proc. CCCT (Vol. 4)."},{"key":"34_CR16","doi-asserted-by":"crossref","unstructured":"Khosla, R., Dillon, T. (1997). Intelligent hybrid multi-agent architecture for engineering complex systems. In Proceedings of the 1997 IEEE international Conference on Neural Networks (Vol. 4, pp. 2449\u20132454).","DOI":"10.1109\/ICNN.1997.614540"},{"key":"34_CR17","doi-asserted-by":"crossref","unstructured":"Bilal, M., Persson, C., Ramparany, F., Picard, G., & Boissier, O. (2012, June). Multi-Agent based governance model for Machine-to-Machine networks in a smart parking management system. In Communications (ICC), 2012 IEEE International Conference on (pp. 6468\u20136472). Ottawa, Canada: IEEE.","DOI":"10.1109\/ICC.2012.6364789"},{"key":"34_CR18","unstructured":"Jochen, F. (2005) Types and forms of emergence. Kassel: Kassel University Press."}],"container-title":["Proceedings of the I-ESA Conferences","Enterprise Interoperability VI"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-04948-9_34","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,9]],"date-time":"2023-02-09T22:41:56Z","timestamp":1675982516000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-04948-9_34"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319049472","9783319049489"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-04948-9_34","relation":{},"ISSN":["2199-2533","2199-2541"],"issn-type":[{"type":"print","value":"2199-2533"},{"type":"electronic","value":"2199-2541"}],"subject":[],"published":{"date-parts":[[2014]]},"assertion":[{"value":"20 February 2014","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}