{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,1]],"date-time":"2025-11-01T13:51:31Z","timestamp":1762005091471},"publisher-location":"Cham","reference-count":30,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030206512"},{"type":"electronic","value":"9783030206529"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","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":[[2019]]},"DOI":"10.1007\/978-3-030-20652-9_14","type":"book-chapter","created":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T23:03:25Z","timestamp":1558998205000},"page":"211-227","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":9,"title":["Practical Causal Models for Cyber-Physical Systems"],"prefix":"10.1007","author":[{"given":"Amjad","family":"Ibrahim","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Severin","family":"Kacianka","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexander","family":"Pretschner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Charles","family":"Hartsell","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gabor","family":"Karsai","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,5,28]]},"reference":[{"key":"14_CR1","volume-title":"Machine Learning and Knowledge Discovery for Engineering Systems Health Management","author":"S Abdelwahed","year":"2011","unstructured":"Abdelwahed, S., Dubey, A., Karsai, G., Mahadevan, N.: Model-based tools and techniques for real-time system and software health management. In: Srivastava, A., Han, J. (eds.) Machine Learning and Knowledge Discovery for Engineering Systems Health Management. Chapman and Hall\/CRC, London (2011). Chapter 9"},{"key":"14_CR2","unstructured":"Abdelwahed, S., Karsai, G., Biswas, G.: A consistency-based robust diagnosis approach for temporal causal systems. In: The 16th International Workshop on Principles of Diagnosis, pp. 73\u201379 (2005)"},{"key":"14_CR3","doi-asserted-by":"crossref","unstructured":"Alrajeh, D., Chockler, H., Halpern, J.Y.: Combining experts\u2019 causal judgments. In: Thirty-Second AAAI Conference on Artificial Intelligence (AAAI-2018) (2018)","DOI":"10.1609\/aaai.v32i1.12112"},{"key":"14_CR4","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/978-1-4471-2061-2_3","volume-title":"SAFECOMP 1993","author":"G Bruns","year":"1993","unstructured":"Bruns, G., Anderson, S.: Validating safety models with fault trees. In: G\u00f3rski, J. (ed.) SAFECOMP 1993, pp. 21\u201330. Springer, London (1993). https:\/\/doi.org\/10.1007\/978-1-4471-2061-2_3"},{"key":"14_CR5","unstructured":"DJI: Fly safe - geo zone map (2018). https:\/\/www.dji.com\/en\/flysafe\/geo-map . Accessed 03 Dec 2018"},{"key":"14_CR6","doi-asserted-by":"publisher","unstructured":"Dubey, A., Karsai, G., Mahadevan, N.: Model-based software health management for real-time systems. In: 2011 Aerospace Conference, pp. 1\u201318, March 2011. https:\/\/doi.org\/10.1109\/AERO.2011.5747559","DOI":"10.1109\/AERO.2011.5747559"},{"key":"14_CR7","unstructured":"Eurocontrol: Useful information on UAS no-fly areas (2018). https:\/\/www.eurocontrol.int\/articles\/useful-information-uas-no-fly-areas . Accessed 03 Dec 2018"},{"key":"14_CR8","unstructured":"FAA: Airspace restrictions (2018). https:\/\/www.faa.gov\/uas\/where_to_fly\/airspace_restrictions\/ . Accessed 03 Dec 2018"},{"key":"14_CR9","unstructured":"Friedenberg, M., Halpern, J.Y.: Combining the causal judgments of experts with possibly different focus areas (2018). http:\/\/www.cs.cornell.edu\/home\/halpern\/papers\/focus.pdf"},{"key":"14_CR10","unstructured":"Halpern, J.Y.: A modification of the Halpern-Pearl definition of causality. In: International Joint Conference on Artificial Intelligence, pp. 3022\u20133033 (2015). https:\/\/www.aaai.org\/ocs\/index.php\/IJCAI\/IJCAI15\/paper\/view\/11058\/11085"},{"issue":"4","key":"14_CR11","doi-asserted-by":"publisher","first-page":"843","DOI":"10.1093\/bjps\/axi147","volume":"56","author":"JY Halpern","year":"2005","unstructured":"Halpern, J.Y., Pearl, J.: Causes and explanations: a structural-model approach. Part I: causes. Br. J. Philos. Sci. 56(4), 843\u2013887 (2005). https:\/\/doi.org\/10.1093\/bjps\/axi147","journal-title":"Br. J. Philos. Sci."},{"issue":"4","key":"14_CR12","doi-asserted-by":"publisher","first-page":"889","DOI":"10.1093\/bjps\/axi148","volume":"56","author":"JY Halpern","year":"2005","unstructured":"Halpern, J.Y., Pearl, J.: Causes and explanations: a structural-model approach. Part II: explanations. Br. J. Philos. Sci. 56(4), 889\u2013911 (2005). https:\/\/doi.org\/10.1093\/bjps\/axi148","journal-title":"Br. J. Philos. Sci."},{"key":"14_CR13","doi-asserted-by":"publisher","first-page":"573","DOI":"10.1109\/32.708570","volume":"24","author":"KM Hansen","year":"1998","unstructured":"Hansen, K.M., Ravn, A.P., Stavridou, V.: From safety analysis to software requirements. IEEE Trans. Software Eng. 24, 573\u2013584 (1998). https:\/\/doi.org\/10.1109\/32.708570 . doi.ieeecomputersociety.org\/10.1109\/32.708570","journal-title":"IEEE Trans. Software Eng."},{"key":"14_CR14","unstructured":"Ibrahim, A., Rehwald, S., Pretschner, A.: Efficiently checking actual causality with sat solving. In: Dependable Software Systems Engineering (2019, to appear)"},{"key":"14_CR15","doi-asserted-by":"crossref","unstructured":"Kacianka, S., Pretschner, A.: Understanding and formalizing accountability for cyber-physical systems. In: IEEE International Conference on Systems, Man, and Cybernetics (SMC), October 2018. https:\/\/arxiv.org\/abs\/1810.09704","DOI":"10.1109\/SMC.2018.00536"},{"key":"14_CR16","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.cosrev.2014.07.001","volume":"13","author":"B Kordy","year":"2014","unstructured":"Kordy, B., Pi\u00e8tre-Cambac\u00e9d\u00e8s, L., Schweitzer, P.: DAG-based attack and defense modeling: don\u2019t miss the forest for the attack trees. Comput. Sci. Rev. 13, 1\u201338 (2014)","journal-title":"Comput. Sci. Rev."},{"key":"14_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"248","DOI":"10.1007\/978-3-642-35873-9_16","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"F Leitner-Fischer","year":"2013","unstructured":"Leitner-Fischer, F., Leue, S.: Causality checking for complex system models. In: Giacobazzi, R., Berdine, J., Mastroeni, I. (eds.) VMCAI 2013. LNCS, vol. 7737, pp. 248\u2013267. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-35873-9_16"},{"issue":"17","key":"14_CR18","doi-asserted-by":"publisher","first-page":"556","DOI":"10.2307\/2025310","volume":"70","author":"D Lewis","year":"1973","unstructured":"Lewis, D.: Causation. J. Philos. 70(17), 556\u2013567 (1973). https:\/\/doi.org\/10.2307\/2025310","journal-title":"J. Philos."},{"key":"14_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"186","DOI":"10.1007\/11734727_17","volume-title":"Information Security and Cryptology - ICISC 2005","author":"S Mauw","year":"2006","unstructured":"Mauw, S., Oostdijk, M.: Foundations of attack trees. In: Won, D.H., Kim, S. (eds.) ICISC 2005. LNCS, vol. 3935, pp. 186\u2013198. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/11734727_17"},{"issue":"2","key":"14_CR20","doi-asserted-by":"publisher","first-page":"274","DOI":"10.1109\/TSMC.1987.4309038","volume":"17","author":"NH Narayanan","year":"1987","unstructured":"Narayanan, N.H., Viswanadham, N.: A methodology for knowledge acquisition and reasoning in failure analysis of systems. IEEE Trans. Syst. Man Cybern. 17(2), 274\u2013288 (1987)","journal-title":"IEEE Trans. Syst. Man Cybern."},{"issue":"3","key":"14_CR21","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1016\/S0951-8320(03)00095-4","volume":"81","author":"Y Papadopoulos","year":"2003","unstructured":"Papadopoulos, Y.: Model-based system monitoring and diagnosis of failures using statecharts and fault trees. Reliab. Eng. Syst. Saf. 81(3), 325\u2013341 (2003)","journal-title":"Reliab. Eng. Syst. Saf."},{"key":"14_CR22","volume-title":"The Book of Why","author":"J Pearl","year":"2018","unstructured":"Pearl, J., Mackenzie, D.: The Book of Why. Basic Books, New York (2018)"},{"key":"14_CR23","series-title":"IFIP \u2014 The International Federation for Information Processing","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1007\/978-0-387-73742-3_23","volume-title":"Advances in Digital Forensics III","author":"N Poolsapassit","year":"2007","unstructured":"Poolsapassit, N., Ray, I.: Investigating computer attacks using attack trees. In: Craiger, P., Shenoi, S. (eds.) DigitalForensics 2007. ITIFIP, vol. 242, pp. 331\u2013343. Springer, New York (2007). https:\/\/doi.org\/10.1007\/978-0-387-73742-3_23"},{"key":"14_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1007\/11555827_14","volume-title":"Computer Security \u2013 ESORICS 2005","author":"I Ray","year":"2005","unstructured":"Ray, I., Poolsapassit, N.: Using attack trees to identify malicious attacks from authorized insiders. In: di Vimercati, S.C., Syverson, P., Gollmann, D. (eds.) ESORICS 2005. LNCS, vol. 3679, pp. 231\u2013246. Springer, Heidelberg (2005). https:\/\/doi.org\/10.1007\/11555827_14"},{"key":"14_CR25","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1016\/j.cosrev.2015.03.001","volume":"15","author":"E Ruijters","year":"2015","unstructured":"Ruijters, E., Stoelinga, M.: Fault tree analysis: a survey of the state-of-the-art in modeling, analysis and tools. Comput. Sci. Rev. 15, 29\u201362 (2015)","journal-title":"Comput. Sci. Rev."},{"key":"14_CR26","unstructured":"Schneier, B.: Attack trees - modeling security threats. DR DOBBS J. (1999). http:\/\/www.schneier.com\/paper-attacktrees-ddj-ft.html"},{"key":"14_CR27","volume-title":"Secrets and Lies - Digital Security in a Networked World: With New Information About Post-9\/11 Security","author":"B Schneier","year":"2004","unstructured":"Schneier, B.: Secrets and Lies - Digital Security in a Networked World: With New Information About Post-9\/11 Security. Wiley, Indianapolis (2004)"},{"key":"14_CR28","doi-asserted-by":"publisher","unstructured":"Simon, G., et al.: Model-based fault-adaptive control of complex dynamic systems. In: Proceedings of the 20th IEEE Instrumentation Technology Conference (Cat. No. 03CH37412), vol. 1, pp. 176\u2013181, May 2003. https:\/\/doi.org\/10.1109\/IMTC.2003.1208147","DOI":"10.1109\/IMTC.2003.1208147"},{"key":"14_CR29","first-page":"2147","volume":"16","author":"S Triantafillou","year":"2015","unstructured":"Triantafillou, S., Tsamardinos, I.: Constraint-based causal discovery from multiple interventions over overlapping variable sets. J. Mach. Learn. Res. 16, 2147\u20132205 (2015)","journal-title":"J. Mach. Learn. Res."},{"key":"14_CR30","unstructured":"Vesely, W., Goldberg, F., Roberts, N., Haasl, D.: Fault tree handbook (1981)"}],"container-title":["Lecture Notes in Computer Science","NASA Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-20652-9_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,9,18]],"date-time":"2022-09-18T18:31:30Z","timestamp":1663525890000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-20652-9_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030206512","9783030206529"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-20652-9_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"28 May 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"NFM","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"NASA Formal Methods Symposium","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Houston, TX","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"USA","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"7 May 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"9 May 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"nfm2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/robonaut.jsc.nasa.gov\/R2\/pages\/nfm2019.html","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}