{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:50:34Z","timestamp":1740099034408,"version":"3.37.3"},"publisher-location":"Cham","reference-count":20,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319747804"},{"type":"electronic","value":"9783319747811"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-74781-1_25","type":"book-chapter","created":{"date-parts":[[2018,2,1]],"date-time":"2018-02-01T10:22:24Z","timestamp":1517480544000},"page":"361-376","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Towards Resilience-Explicit Modelling and Co-simulation of Cyber-Physical Systems"],"prefix":"10.1007","author":[{"given":"Mark","family":"Jackson","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"John S.","family":"Fitzgerald","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,2,2]]},"reference":[{"key":"25_CR1","unstructured":"Reimann, M., R\u00fcckriegel, C., Mortimer, S., et al.: Road2CPS: Priorities and Recommendations for Research and Innovation in Cyber-Physical Systems. Steinbeis edn. (2017)"},{"key":"25_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-34404-6_1","volume-title":"Complex Systems Design & Management","author":"M Broy","year":"2013","unstructured":"Broy, M.: Engineering cyber-physical systems: challenges and foundations. In: Aiguier, M., Caseau, Y., Krob, D., Rauzy, A. (eds.) Complex Systems Design & Management, pp. 1\u201313. Springer, Heidelberg (2013). \nhttps:\/\/doi.org\/10.1007\/978-3-642-34404-6_1"},{"key":"25_CR3","unstructured":"Jackson, M., Fitzgerald, J.: Resilience profiling in the model-based design of cyber-physical systems. In: Larsen, P.G., Plat, N., Battle, N. (eds.) 14th Overture Workshop: Towards Analytical Tool Chains, Technical Report ECE-TR-28, pp. 1\u201315. Aarhus University, April 2016"},{"key":"25_CR4","doi-asserted-by":"crossref","unstructured":"Lee, E.A.: CPS foundations. In: Proceedings of 47th Design Automation Conference, DAC 2010, pp. 737\u2013742. ACM, New York (2010)","DOI":"10.1145\/1837274.1837462"},{"key":"25_CR5","unstructured":"Hellinger, A., Heinrich, S.: Cyber-physical systems driving force for innovation in mobility, health, energy and production. Technical report, acatech - National Academy of Science and Engineering (2011)"},{"key":"25_CR6","unstructured":"Brooks, C., Cheng, C.P., Feng, T.H., Lee, E.A., Von Hanxleden, R.: Model engineering using multimodeling. Technical report, DTIC Document (2008)"},{"issue":"1","key":"25_CR7","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/0304-3975(94)00202-T","volume":"138","author":"R Alur","year":"1995","unstructured":"Alur, R., Courcoubetis, C., Halbwachs, N., Henzinger, T.A., Ho, P.-H., Nicollin, X., Olivero, A., Sifakis, J., Yovine, S.: The algorithmic analysis of hybrid systems. Theoret. Comput. Sci. 138(1), 3\u201334 (1995)","journal-title":"Theoret. Comput. Sci."},{"key":"25_CR8","doi-asserted-by":"crossref","unstructured":"Larsen, P.G., Fitzgerald, J., Woodcock, J., et al.: Integrated tool chain for model-based design of cyber-physical systems: the INTO-CPS project. In: Proceedings of 2nd International Workshop on Modelling, Analysis, and Control of Complex CPS (CPS Data), pp. 1\u20136, April 2016","DOI":"10.1109\/CPSData.2016.7496424"},{"key":"25_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1007\/978-3-319-47169-3_13","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications","author":"PG Larsen","year":"2016","unstructured":"Larsen, P.G., Fitzgerald, J., Woodcock, J., Nilsson, R., Gamble, C., Foster, S.: Towards semantically integrated models and tools for cyber-physical systems design. In: Margaria, T., Steffen, B. (eds.) ISoLA 2016. LNCS, vol. 9953, pp. 171\u2013186. Springer, Cham (2016). \nhttps:\/\/doi.org\/10.1007\/978-3-319-47169-3_13"},{"key":"25_CR10","volume-title":"Resilience Engineering: Concepts and Precepts","author":"E Hollnagel","year":"2007","unstructured":"Hollnagel, E., Woods, D.D., Leveson, N.: Resilience Engineering: Concepts and Precepts. Ashgate Publishing Ltd., Aldershot (2007)"},{"key":"25_CR11","unstructured":"Mitchell, S.M.: Resilient engineered systems: the development of an inherent system property. Ph.D. thesis, Texas A&M University (2007)"},{"key":"25_CR12","doi-asserted-by":"crossref","unstructured":"Rieger, C.G., Gertman, D.I., McQueen, M.A.: Resilient control systems: next generation design research. In: 2nd Conference on Human System Interactions, HSI 2009, pp. 632\u2013636. IEEE (2009)","DOI":"10.1109\/HSI.2009.5091051"},{"issue":"8","key":"25_CR13","doi-asserted-by":"crossref","first-page":"765","DOI":"10.1007\/s10021-001-0045-9","volume":"4","author":"S Carpenter","year":"2001","unstructured":"Carpenter, S., Walker, B., Anderies, J., Abel, N.: From metaphor to measurement: resilience of what to what? Ecosystems 4(8), 765\u2013781 (2001)","journal-title":"Ecosystems"},{"key":"25_CR14","doi-asserted-by":"crossref","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 Trans. Dependable Secur. Comput. 1, 11\u201333 (2004)","journal-title":"IEEE Trans. Dependable Secur. Comput."},{"key":"25_CR15","unstructured":"Summary of the 2015\u201316 sector resilience plans. United Kingdom Cabinet Office, April 2016"},{"key":"25_CR16","unstructured":"Council of the European Communities: Disaster resilience: safeguarding and securing society, including adapting to climate change"},{"key":"25_CR17","doi-asserted-by":"crossref","DOI":"10.1002\/9780470544013","volume-title":"Architecting Resilient Systems: Accident Avoidance and Survival and Recovery from Disruptions","author":"S Jackson","year":"2009","unstructured":"Jackson, S.: Architecting Resilient Systems: Accident Avoidance and Survival and Recovery from Disruptions, vol. 66. Wiley, New York (2009)"},{"key":"25_CR18","unstructured":"Pflanz, M.: On the resilience of command and control architectures. Ph.D. thesis, George Mason University (2011)"},{"key":"25_CR19","doi-asserted-by":"crossref","unstructured":"Fitzgerald, J., Gamble, C., Payne, R., Larsen, P.G., Basagiannis, S., Mady, A.E.-D.: Collaborative model-based systems engineering for cyber-physical systems, with a building automation case study. In: INCOSE International Symposium, vol. 26, no. 1, pp. 817\u2013832 (2016)","DOI":"10.1002\/j.2334-5837.2016.00195.x"},{"key":"25_CR20","unstructured":"Fitzgerald, J., Gamble, C., Payne, R., Pierce, K.: INTO-CPS Method Guidelines 2. Technical report Deliverable D3.2a (2016). INTO-CPS: \nhttp:\/\/into-cps.au.dk"}],"container-title":["Lecture Notes in Computer Science","Software Engineering and Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-74781-1_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,2,1]],"date-time":"2018-02-01T10:31:43Z","timestamp":1517481103000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-74781-1_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319747804","9783319747811"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-74781-1_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}