{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T14:47:01Z","timestamp":1743086821545,"version":"3.40.3"},"publisher-location":"Cham","reference-count":15,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030819149"},{"type":"electronic","value":"9783030819156"}],"license":[{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021]]},"DOI":"10.1007\/978-3-030-81915-6_1","type":"book-chapter","created":{"date-parts":[[2021,12,2]],"date-time":"2021-12-02T13:05:50Z","timestamp":1638450350000},"page":"1-8","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Introduction"],"prefix":"10.1007","author":[{"given":"Robert","family":"Heinrich","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Francisco","family":"Dur\u00e1n","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Carolyn","family":"Talcott","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Steffen","family":"Zschaler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2021,7,18]]},"reference":[{"key":"1_CR1","doi-asserted-by":"crossref","unstructured":"Waqar Ahmad, Osman Hasan, and Sofi\u00e8ne Tahar. \u201cFormal Dependability Modeling and Analysis: A Survey\u201d. In: 9th International Conference Intelligent Computer Mathematics, CICM. Vol. 9791. 2016, pp. 132\u2013147. https:\/\/doi.org\/10.1007\/978-3-319-42547-4_10.","DOI":"10.1007\/978-3-319-42547-4_10"},{"key":"1_CR2","doi-asserted-by":"crossref","unstructured":"Marko \u010cepin. \u201cReliability Block Diagram\u201d. In: Assessment of Power System Reliability: Methods and Applications. 2011, pp. 119\u2013123. https:\/\/doi.org\/10.1007\/978-0-85729-688-7_9.","DOI":"10.1007\/978-0-85729-688-7_9"},{"key":"1_CR3","unstructured":"John Donaldson. A Case Narrative of the Project Problems with the Denver Airport Baggage Handling System (DABHS). Tech. rep. Software Forensics Centre Technical Report TR 2002-01, 2002."},{"key":"1_CR4","doi-asserted-by":"crossref","unstructured":"Naeem Esfahani and Sam Malek. \u201cUncertainty in Self-Adaptive Software Systems\u201d. In: Software Engineering for Self-Adaptive Systems II - International Seminar, Dagstuhl Castle, Germany, October 24\u201329, 2010 Revised Selected and Invited Papers. Vol. 7475. 2013, pp. 214\u2013238. https:\/\/doi.org\/10.1007\/978-3-642-35813-5_9.","DOI":"10.1007\/978-3-642-35813-5_9"},{"key":"1_CR5","doi-asserted-by":"crossref","unstructured":"Peter Feiler, David Gluch, and John Hudak. The Architecture Analysis & Design Language (AADL): An Introduction. Tech. rep. CMU\/SEI-2006-TN-011. Software Engineering Institute, Carnegie Mellon University, 2006. http:\/\/resources.sei.cmu.edu\/library\/asset-view.cfm?AssetID=7879.","DOI":"10.21236\/ADA455842"},{"key":"1_CR6","doi-asserted-by":"crossref","unstructured":"Walter Gilks. Markov chain Monte Carlo. 2005. https:\/\/doi.org\/10.1002\/0470011815.b2a14021.","DOI":"10.1002\/0470011815.b2a14021"},{"key":"1_CR7","unstructured":"Center for Internet Security. The SolarWinds Cyber-Attack: What You Need to Know. Mar. 2021. https:\/\/www.cisecurity.org\/solarwinds\/."},{"key":"1_CR8","doi-asserted-by":"crossref","unstructured":"M. Kennedy and A. O\u2019Hagan. \u201cBayesian calibration of computer models\u201d. In: Journal of the Royal Statistical Society 63 (2001), pp. 425\u2013464.","DOI":"10.1111\/1467-9868.00294"},{"key":"1_CR9","unstructured":"Modelica Association. Modelica - A Unified Object-Oriented Language for Physical Systems Modeling. 2013."},{"key":"1_CR10","unstructured":"Angela Monaghan. Timeline of trouble: how the TSB IT meltdown unfolded. The Guardian, UK. June 2018. https:\/\/www.theguardian.com\/business\/2018\/jun\/06\/timeline-of-trouble-how-the-tsb-it-meltdownunfolded."},{"key":"1_CR11","doi-asserted-by":"crossref","unstructured":"Diego Perez-Palacin and Raffaela Mirandola. \u201cUncertainties in the modeling of self-adaptive systems: a taxonomy and an example of availability evaluation\u201d. In: ACM\/SPEC International Conference on Performance Engineering, ICPE. 2014, pp. 3\u201314. https:\/\/doi.org\/10.1145\/2568088.2568095.","DOI":"10.1145\/2568088.2568095"},{"key":"1_CR12","volume-title":"Modeling and simulating software architectures: The Palladio approach","author":"Ralf H Reussner","year":"2016","unstructured":"Ralf H. Reussner, Steffen Becker, Jens Happe, Robert Heinrich, Anne Koziolek, Heiko Koziolek, Max Kramer, and Klaus Krogmann. Modeling and simulating software architectures: The Palladio approach. MIT Press, 2016."},{"key":"1_CR13","unstructured":"Misha Strittmatter, Georg Hinkel, Michael Langhammer, Reiner Jung, and Robert Heinrich. \u201cChallenges in the Evolution of Metamodels: Smells and Anti-Patterns of a Historically-Grown Metamodel\u201d. In: Proceedings of the 10th Workshop on Models and Evolution. Vol. 1706. 2016, pp. 30\u201339. http:\/\/ceur-ws.org\/Vol-1706\/paper5.pdf."},{"key":"1_CR14","unstructured":"William E. Vesely, Francine F. Goldberg, Norman H. Roberts, and David F. Haasl. Fault tree handbook. Tech. rep. NUREG-0492. U.S. Nuclear Regulatory Commission, 1981. https:\/\/www.nrc.gov\/docs\/ML1007\/ML100780465.pdf."},{"key":"1_CR15","doi-asserted-by":"publisher","unstructured":"Warren Walker, Poul Harremo\u00ebs, Jan Rotmans, Jeroen van der Sluijs, Marjolein van Asselt, Peter Janssen, and Martin Krayer von Krauss. \u201cDefining Uncertainty: A Conceptual Basis for Uncertainty Management in Model-Based Decision Support\u201d. In: Integrated Assessment 4.1 (2003), pp. 5\u201317. https:\/\/doi.org\/10.1076\/iaij.4.1.5.16466.","DOI":"10.1076\/iaij.4.1.5.16466"}],"container-title":["Composing Model-Based Analysis Tools"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-81915-6_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,7]],"date-time":"2021-12-07T15:20:59Z","timestamp":1638890459000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-81915-6_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021]]},"ISBN":["9783030819149","9783030819156"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-81915-6_1","relation":{},"subject":[],"published":{"date-parts":[[2021]]},"assertion":[{"value":"18 July 2021","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}