{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T00:45:28Z","timestamp":1743122728874,"version":"3.40.3"},"publisher-location":"Cham","reference-count":24,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030850364"},{"type":"electronic","value":"9783030850371"}],"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-85037-1_7","type":"book-chapter","created":{"date-parts":[[2021,8,15]],"date-time":"2021-08-15T23:03:01Z","timestamp":1629068581000},"page":"100-116","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Explaining Safety Violations in Real-Time Systems"],"prefix":"10.1007","author":[{"given":"Thomas","family":"Mari","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thao","family":"Dang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gregor","family":"G\u00f6ssler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2021,8,16]]},"reference":[{"key":"7_CR1","unstructured":"Aho, A.V., Sethi, R., Ullman, J.D.: Compilers - Principles, Techniques, and Tools. Addison Wesley, Boston (1986)"},{"key":"7_CR2","unstructured":"Beckers, S., Eberhardt, F., Halpern, J.Y.: Approximate causal abstractions. In: Adams, R.P., Gogate, V. (eds.) Proceedings of The 35th Uncertainty in Artificial Intelligence Conference, Proceedings of Machine Learning Research, vol. 115, pp. 606\u2013615. PMLR, 22\u201325 Jul 2020 (2020)"},{"issue":"1","key":"7_CR3","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1007\/s10703-011-0132-2","volume":"40","author":"I Beer","year":"2012","unstructured":"Beer, I., Ben-David, S., Chockler, H., Orni, A., Trefler, R.J.: Explaining counterexamples using causality. Formal Methods Syst. Des. 40(1), 20\u201340 (2012)","journal-title":"Formal Methods Syst. Des."},{"key":"7_CR4","unstructured":"Danos, V., et al.: Graphs, rewriting and pathway reconstruction for rule-based models. In D\u2019Souza, D., Kavitha, T., Radhakrishnan, J. (eds.) IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2012), Leibniz International Proceedings in Informatics (LIPIcs), vol. 18, pp. 276\u2013288. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik (2012)"},{"issue":"2","key":"7_CR5","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1007\/s10009-012-0244-z","volume":"15","author":"H Garavel","year":"2013","unstructured":"Garavel, H., Lang, F., Mateescu, R., Serwe, W.: CADP 2011: a toolbox for the construction and analysis of distributed processes. Int. J. Softw. Tools Technol. Transf. 15(2), 89\u2013107 (2013)","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"7_CR6","unstructured":"G\u00f6ssler, G., Mari, T., Pencol\u00e9, Y., Trav\u00e9-Massuy\u00e8s, L.: Towards causal explanations of property violations in discrete event systems. In: DX 2019 - 30th International Workshop on Principles of Diagnosis, pp. 1\u20138, November 2019"},{"key":"7_CR7","doi-asserted-by":"publisher","first-page":"158","DOI":"10.1016\/j.tcs.2020.06.010","volume":"837","author":"G G\u00f6ssler","year":"2020","unstructured":"G\u00f6ssler, G., Stefani, J.-B.: Causality analysis and fault ascription in component-based systems. Theoret. Comput. Sci. 837, 158\u2013180 (2020)","journal-title":"Theoret. Comput. Sci."},{"issue":"3","key":"7_CR8","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1007\/s10009-005-0202-0","volume":"8","author":"A Groce","year":"2006","unstructured":"Groce, A., Chaki, S., Kroening, D., Strichman, O.: Error explanation with distance metrics. STTT 8(3), 229\u2013247 (2006)","journal-title":"STTT"},{"key":"7_CR9","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)"},{"key":"7_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"188","DOI":"10.1007\/978-3-642-28756-5_14","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"Z Jiang","year":"2012","unstructured":"Jiang, Z., Pajic, M., Moarref, S., Alur, R., Mangharam, R.: Modeling and verification of a dual chamber implantable pacemaker. In: Flanagan, C., K\u00f6nig, B. (eds.) TACAS 2012. LNCS, vol. 7214, pp. 188\u2013203. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-28756-5_14"},{"issue":"2","key":"7_CR11","doi-asserted-by":"publisher","first-page":"102","DOI":"10.1007\/s10009-004-0146-9","volume":"6","author":"H Jin","year":"2004","unstructured":"Jin, H., Ravi, K., Somenzi, F.: Fate and free will in error traces. STTT 6(2), 102\u2013116 (2004)","journal-title":"STTT"},{"key":"7_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1007\/978-3-030-25540-4_5","volume-title":"Computer Aided Verification","author":"M K\u00f6lbl","year":"2019","unstructured":"K\u00f6lbl, M., Leue, S., Wies, T.: Clock bound repair for timed systems. In: Dillig, I., Tasiran, S. (eds.) CAV 2019. LNCS, vol. 11561, pp. 79\u201396. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-25540-4_5"},{"key":"7_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"529","DOI":"10.1007\/978-3-030-53288-8_25","volume-title":"Computer Aided Verification","author":"M K\u00f6lbl","year":"2020","unstructured":"K\u00f6lbl, M., Leue, S., Wies, T.: TarTar: a timed automata repair tool. In: Lahiri, S.K., Wang, C. (eds.) CAV 2020. LNCS, vol. 12224, pp. 529\u2013540. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-53288-8_25"},{"issue":"3","key":"7_CR14","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1016\/0020-0190(88)90054-3","volume":"29","author":"B Korel","year":"1988","unstructured":"Korel, B., Laski, J.: Dynamic program slicing. IPL 29(3), 155\u2013163 (1988)","journal-title":"IPL"},{"key":"7_CR15","doi-asserted-by":"crossref","unstructured":"K\u00fcsters, R., Truderung, T., Vogt, A.: Accountability: definition and relationship to verifiability. In: ACM Conference on Computer and Communications Security, pp. 526\u2013535 (2010)","DOI":"10.1145\/1866307.1866366"},{"key":"7_CR16","doi-asserted-by":"crossref","unstructured":"Larsen, K.G., Pettersson, P., Yi, W.: Uppaal in a nutshell. Int. J. Softw. Tools Technol. Trans. 1(1\u20132), 134\u2013152 (1997)","DOI":"10.1007\/s100090050010"},{"key":"7_CR17","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1007\/978-3-642-60211-5_13","volume-title":"Explanatory Diagnosis: Conjecturing Actions to Explain Observations","author":"SA Mcllraith","year":"1999","unstructured":"Mcllraith, S.A.: Explanatory Diagnosis: Conjecturing Actions to Explain Observations, pp. 155\u2013172. Springer, Berlin, Heidelberg (1999). https:\/\/doi.org\/10.1007\/978-3-642-60211-5_13"},{"key":"7_CR18","doi-asserted-by":"crossref","unstructured":"Pearl, J.: Theoretical impediments to machine learning with seven sparks from the causal revolution. In: Proceedings of Eleventh ACM International Conference on Web Search and Data Mining (WSDM 2018), pp. 3\u20133. ACM (2018)","DOI":"10.1145\/3159652.3176182"},{"issue":"1","key":"7_CR19","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1016\/0004-3702(87)90062-2","volume":"32","author":"R Reiter","year":"1987","unstructured":"Reiter, R.: A theory of diagnosis from first principles. Artif. Intell. 32(1), 57\u201395 (1987)","journal-title":"Artif. Intell."},{"issue":"1","key":"7_CR20","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1023\/A:1008734703554","volume":"18","author":"S Tripakis","year":"2001","unstructured":"Tripakis, S., Yovine, S.: Analysis of timed systems using time-abstracting bisimulations. Formal Methods Syst. Des. 18(1), 25\u201368 (2001)","journal-title":"Formal Methods Syst. Des."},{"issue":"1","key":"7_CR21","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1007\/s10703-015-0223-6","volume":"47","author":"C von Essen","year":"2015","unstructured":"von Essen, C., Jobstmann, B.: Program repair without regret. Formal Methods Syst. Des. 47(1), 26\u201350 (2015)","journal-title":"Formal Methods Syst. Des."},{"issue":"4","key":"7_CR22","first-page":"7","volume":"10","author":"M Weiser","year":"1984","unstructured":"Weiser, M.: Program slicing. IEEE Trans. Softw. Eng. 10(4), 7 (1984)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"7_CR23","doi-asserted-by":"crossref","unstructured":"Yovine, S.: KRONOS: a verification tool for real-time systems. Softw. Tools Technol. Trans. 1(1+2), 123\u2013133 (1997)","DOI":"10.1007\/s100090050009"},{"key":"7_CR24","unstructured":"Zeller, A.: Why Programs Fail. Elsevier, New York (2009)"}],"container-title":["Lecture Notes in Computer Science","Formal Modeling and Analysis of Timed Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-85037-1_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,7]],"date-time":"2023-01-07T11:51:01Z","timestamp":1673092261000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-85037-1_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021]]},"ISBN":["9783030850364","9783030850371"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-85037-1_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2021]]},"assertion":[{"value":"16 August 2021","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"FORMATS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Formal Modeling and Analysis of Timed Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Paris","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"France","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2021","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"24 August 2021","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"26 August 2021","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"formats2021","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/qonfest2021.lacl.fr\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"19","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"8","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"42% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"2,3","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}