{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,21]],"date-time":"2025-09-21T08:45:12Z","timestamp":1758444312837,"version":"3.44.0"},"publisher-location":"Cham","reference-count":9,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783032050724"},{"type":"electronic","value":"9783032050731"}],"license":[{"start":{"date-parts":[[2025,9,21]],"date-time":"2025-09-21T00:00:00Z","timestamp":1758412800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,9,21]],"date-time":"2025-09-21T00:00:00Z","timestamp":1758412800000},"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":[[2026]]},"DOI":"10.1007\/978-3-032-05073-1_17","type":"book-chapter","created":{"date-parts":[[2025,9,20]],"date-time":"2025-09-20T07:37:41Z","timestamp":1758353861000},"page":"257-270","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Model-Based Dependent Failure Analysis"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-3465-9738","authenticated-orcid":false,"given":"Daniel","family":"Schneider","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2704-8381","authenticated-orcid":false,"given":"Ioannis","family":"Sorokos","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0701-6924","authenticated-orcid":false,"given":"Santiago","family":"Velasco","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6674-9434","authenticated-orcid":false,"given":"Peter","family":"Munk","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6881-8499","authenticated-orcid":false,"given":"Markus","family":"Schweizer","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2025,9,21]]},"reference":[{"key":"17_CR1","doi-asserted-by":"publisher","unstructured":"Dropmann, C., Schneider, D.: SIAF: systematic interference analysis framework for household microprocessor services.\u00a02024 IEEE 24th International Conference on Software Quality, Reliability and Security (QRS), Cambridge, United Kingdom, pp. 757\u2013768 (2024). https:\/\/doi.org\/10.1109\/QRS62785.2024.00080","DOI":"10.1109\/QRS62785.2024.00080"},{"key":"17_CR2","doi-asserted-by":"publisher","unstructured":"Sari, B., Reuss, H.: A model-driven approach for dependent failure analysis in consideration of multicore processors using modified EAST-ADL. SAE Technical Paper 2017\u201301\u20130065 (2017).\u00a0https:\/\/doi.org\/10.4271\/2017-01-0065","DOI":"10.4271\/2017-01-0065"},{"key":"17_CR3","doi-asserted-by":"publisher","first-page":"1465","DOI":"10.1007\/s10270-020-00792-8","volume":"19","author":"DS Velasco Moncada","year":"2020","unstructured":"Velasco Moncada, D.S.: Hazard-driven realization views for component fault trees. Softw. Syst. Model. 19, 1465\u20131481 (2020). https:\/\/doi.org\/10.1007\/s10270-020-00792-8","journal-title":"Softw. Syst. Model."},{"issue":"14","key":"17_CR4","doi-asserted-by":"publisher","first-page":"3086","DOI":"10.3390\/electronics12143086","volume":"12","author":"A Abdulhamid","year":"2023","unstructured":"Abdulhamid, A., Kabir, S., Ghafir, I., Lei, C.: An overview of safety and security analysis frameworks for the internet of things. Electronics 12(14), 3086 (2023). https:\/\/doi.org\/10.3390\/electronics12143086","journal-title":"Electronics"},{"key":"17_CR5","doi-asserted-by":"publisher","unstructured":"Cederbladh, J., Cicchetti, A., Suryadevara, J.: Early validation and verification of system behaviour in model-based systems engineering: a systematic literature review. ACM Trans. Softw. Eng. Methodol 33(3, Article 81) (2024), https:\/\/doi.org\/10.1145\/3631976","DOI":"10.1145\/3631976"},{"issue":"2","key":"17_CR6","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/0143-8174(87)90107-7","volume":"19","author":"BD Johnston","year":"1987","unstructured":"Johnston, B.D.: A structured procedure for dependent failure analysis (DFA). Reliab. Eng. 19(2), 125\u2013136 (1987). https:\/\/doi.org\/10.1016\/0143-8174(87)90107-7","journal-title":"Reliab. Eng."},{"issue":"2","key":"17_CR7","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1016\/0951-8320(89)90089-6","volume":"24","author":"RP Hughes","year":"1989","unstructured":"Hughes, R.P.: A framework for dependent failure analysis. Reliab. Eng. Syst. Saf. 24(2), 139\u2013149 (1989). https:\/\/doi.org\/10.1016\/0951-8320(89)90089-6","journal-title":"Reliab. Eng. Syst. Saf."},{"key":"17_CR8","unstructured":"ISO: \u201cISO 26262\u20139:2018(en) Road vehicles \u2014 Functional safety \u2013 Part 9: Automotive safety integrity level (ASIL)-oriented and safety-oriented analyses,\u201d 2018, International Organization for Standardization (ISO)"},{"key":"17_CR9","doi-asserted-by":"publisher","unstructured":"Hilton, S.M., Langton, J., Conroy, P.: Visualization techniques for simulation-based dependent failure analysis. SAE Int. J. Advances & Curr. Prac. in Mobility 4(4), 1057\u20131063 (2022). https:\/\/doi.org\/10.4271\/2022-01-0032","DOI":"10.4271\/2022-01-0032"}],"container-title":["Lecture Notes in Computer Science","Model-Based Safety and Assessment"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-05073-1_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,20]],"date-time":"2025-09-20T07:37:45Z","timestamp":1758353865000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-05073-1_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,9,21]]},"ISBN":["9783032050724","9783032050731"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-05073-1_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2025,9,21]]},"assertion":[{"value":"21 September 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"IMBSA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Model-Based Safety and Assessment","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Athens","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Greece","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2025","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"24 September 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"26 September 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"9","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"imbsa2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/imbsa-conference.com","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}