@book(Barwise96Circles,
 author       = {J. Barwise and L. Moss},
 year         = {1996},
 title        = {Vicious Circles},
 series       = {CSLI Lecture Notes},
 volume       = {60},
 publisher    = {CSLI Publications -- Center for the Study of Language and Information, Stanford, California},
 doi          = {10.1023/A:1008295813424},
)
@article(journals/ijar/BeckersV16,
 author       = {S. Beckers and J. Vennekens},
 year         = {2016},
 title        = {A general framework for defining and extending actual causation using CP-logic},
 journal      = {Int. J. Approx. Reasoning},
 volume       = {77},
 pages        = {105--126},
 doi          = {10.1016/j.ijar.2016.05.008},
)
@inproceedings(conf/spin/BeerHKLL15,
 author       = {A. Beer and S. Heidinger and U. K{\"{u}}hne and Leitner{-}Fischer, F. and S. Leue},
 year         = {2015},
 title        = {Symbolic Causality Checking Using Bounded Model Checking},
 editor       = {B. Fischer and J. Geldenhuys},
 booktitle    = {Model Checking Software - 22nd International Symposium, {SPIN} 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings},
 series       = {LNCS},
 volume       = {9232},
 publisher    = {Springer},
 pages        = {203--221},
 doi          = {10.1007/978-3-319-23404-5\_14},
)
@article(DBLP:journals/fmsd/BeerBCOT12,
 author       = {I. Beer and Ben-David, S. and H. Chockler and A. Orni and R.J. Trefler},
 year         = {2012},
 title        = {Explaining counterexamples using causality},
 journal      = {Formal Methods in System Design},
 volume       = {40},
 number       = {1},
 pages        = {20--40},
 doi          = {10.1007/s10703-011-0132-2},
)
@inproceedings(BenferhatBCNDSKNNPS08,
 author       = {S. Benferhat and J.{-}F. Bonnefon and P. Chassy and R. Da Silva Neves and D. Dubois and F. Dupin de Saint{-}Cyr and D. Kayser and F. Nouioua and Nouioua{-}Boutouhami, S. and H. Prade and S. Smaoui},
 year         = {2008},
 title        = {A Comparative Study of Six Formal Models of Causal Ascription},
 booktitle    = {Scalable Uncertainty Management, Second International Conference, {SUM} 2008, Naples, Italy, October 1-3, 2008. Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {5291},
 publisher    = {Springer},
 pages        = {47--62},
 doi          = {10.1007/978-3-540-87993-0\_6},
)
@inproceedings(danos_et_al:LIPIcs:2012:3866,
 author       = {V. Danos and J. Feret and W. Fontana and R. Harmer and J. Hayman and J. Krivine and Thompson-Walsh, C. and G. Winskel},
 year         = {2012},
 title        = {{Graphs, Rewriting and Pathway Reconstruction for Rule-Based Models}},
 editor       = {D. D'Souza and T. Kavitha and J. Radhakrishnan},
 booktitle    = {IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2012)},
 series       = {Leibniz International Proceedings in Informatics (LIPIcs)},
 volume       = {18},
 publisher    = {Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik},
 pages        = {276--288},
 doi          = {10.4230/LIPIcs.FSTTCS.2012.276},
)
@inproceedings(conf/csfw/Datta0KSS15,
 author       = {A. Datta and D. Garg and D. Kirli Kaynar and D. Sharma and A. Sinha},
 year         = {2015},
 title        = {Program Actions as Actual Causes: {A} Building Block for Accountability},
 editor       = {C. Fournet and M.W. Hicks and L. Vigan{\`{o}}},
 booktitle    = {{IEEE} 28th Computer Security Foundations Symposium, {CSF} 2015, Verona, Italy, 13-17 July, 2015},
 publisher    = {{IEEE} Computer Society},
 pages        = {261--275},
 doi          = {10.1109/CSF.2015.25},
)
@article(DBLP:journals/ai/EiterL02,
 author       = {T. Eiter and T. Lukasiewicz},
 year         = {2002},
 title        = {Complexity results for structure-based causality},
 journal      = {Artif. Intell.},
 volume       = {142},
 number       = {1},
 pages        = {53--89},
 doi          = {10.1016/S0004-3702(02)00271-0},
)
@article(springerlink:10.1023/A:1009602825894,
 author       = {D. Galles and J. Pearl},
 year         = {1998},
 title        = {An Axiomatic Characterization of Causal Counterfactuals},
 journal      = {Foundations of Science},
 volume       = {3},
 pages        = {151--182},
 doi          = {10.1023/A:1009602825894},
)
@article(glymour2010actual,
 author       = {C. Glymour and D. Danks and B. Glymour and F. Eberhardt and J. Ramsey and R. Scheines and P. Spirtes and C. M. Teng and J. Zhang},
 year         = {2010},
 title        = {Actual causation: a stone soup essay},
 journal      = {Synthese},
 volume       = {175},
 number       = {2},
 pages        = {169--192},
 doi          = {10.1007/s11229-009-9497-9},
)
@inproceedings(emsoft14,
 author       = {G. G\"ossler and {A\c stef\u anoaei}, L.},
 year         = {2014},
 title        = {Blaming in Component-Based Real-Time Systems},
 booktitle    = {EMSOFT'14},
 publisher    = {ACM},
 pages        = {7:1--7:10},
 doi          = {10.1145/2656045.2656048},
)
@article(GoesslerLeMetayer2015,
 author       = {G. G\"ossler and Le M\'etayer, D.},
 year         = {2015},
 title        = {A general framework for blaming in component-based systems},
 journal      = {Science of Computer Programming},
 volume       = {113},
 number       = {3},
 pages        = {223--235},
 doi          = {10.1016/j.scico.2015.06.010},
)
@inproceedings(GoesslerStefani2015,
 author       = {G. G\"ossler and J.-B. Stefani},
 year         = {2016},
 title        = {Fault Ascription in Concurrent Systems},
 editor       = {P. Ganty and M. Loreti},
 booktitle    = {Proc. Trustworthy Global Computing - 10th International Symposium, {TGC} 2015},
 series       = {LNCS},
 volume       = {9533},
 publisher    = {Springer},
 pages        = {79--94},
 doi          = {10.1007/978-3-319-28766-9\_6},
)
@article(journals/jair/Halpern00,
 author       = {J. Y. Halpern},
 year         = {2000},
 title        = {Axiomatizing Causal Reasoning},
 journal      = {J. Artif. Intell. Res. {(JAIR)}},
 volume       = {12},
 pages        = {317--337},
 doi          = {10.1613/jair.648},
)
@inproceedings(DBLP:conf/ijcai/Halpern15,
 author       = {J. Y. Halpern},
 year         = {2015},
 title        = {A Modification of the Halpern-Pearl Definition of Causality},
 editor       = {Q. Yang and M. Wooldridge},
 booktitle    = {Proc. Twenty-Fourth International Joint Conference on Artificial Intelligence, {IJCAI} 2015, Buenos Aires, Argentina, July 25-31, 2015},
 publisher    = {{AAAI} Press},
 pages        = {3022--3033},
)
@article(DBLP:journals/corr/abs-1106-2652,
 author       = {J.Y. Halpern and C. Hitchcock},
 year         = {2011},
 title        = {Actual causation and the art of modeling},
 journal      = {CoRR},
 volume       = {abs/1106.2652},
)
@article(HalpernPearl2005,
 author       = {J.Y. Halpern and J. Pearl},
 year         = {2005},
 title        = {Causes and Explanations: A Structural-Model Approach. Part {I}: Causes},
 journal      = {British Journal for the Philosophy of Science},
 volume       = {56},
 number       = {4},
 pages        = {843--887},
 doi          = {10.1093/bjps/axi147},
)
@article(HopkinsP07,
 author       = {M. Hopkins and J. Pearl},
 year         = {2007},
 title        = {Causality and Counterfactuals in the Situation Calculus},
 journal      = {J. Log. Comput.},
 volume       = {17},
 number       = {5},
 doi          = {10.1093/logcom/exm048},
)
@book(Hume1739,
 author       = {D. Hume},
 year         = {1739},
 title        = {A Treatise of Human Nature},
 doi          = {10.1093/oseo/instance.00046221},
)
@book(Jacobs2016,
 author       = {B. Jacobs},
 year         = {2016},
 title        = {Introduction to Coalgebra: Towards Mathematics of States and Observation},
 series       = {Cambridge Tracts in Theoretical Computer Science},
 volume       = {59},
 publisher    = {Cambridge University Press},
 doi          = {10.1017/CBO9781316823187},
)
@inproceedings(DBLP:conf/safecomp/KuntzLL11,
 author       = {M. Kuntz and Leitner-Fischer, F. and S. Leue},
 year         = {2011},
 title        = {From Probabilistic Counterexamples via Causality to Fault Trees},
 editor       = {F. Flammini and S. Bologna and V. Vittorini},
 booktitle    = {SAFECOMP},
 series       = {LNCS},
 volume       = {6894},
 publisher    = {Springer},
 pages        = {71--84},
 doi          = {10.1007/978-3-642-24270-0\_6},
)
@inproceedings(DBLP:conf/ccs/KustersTV10,
 author       = {R. K{\"u}sters and T. Truderung and A. Vogt},
 year         = {2010},
 title        = {Accountability: definition and relationship to verifiability},
 booktitle    = {ACM Conference on Computer and Communications Security},
 pages        = {526--535},
 doi          = {10.1145/1866307.1866366},
)
@article(DBLP:journals/cacm/MetayerMMPFTCH11,
 author       = {Le M{\'e}tayer, D. and M. Maarek and E. Mazza and M.-L. Potet and S. Fr{\'e}not and V. Viet Triem Tong and N. Craipeau and R. Hardouin},
 year         = {2011},
 title        = {Liability issues in software engineering: the use of formal methods to reduce legal uncertainties},
 journal      = {Commun. ACM},
 volume       = {54},
 number       = {4},
 pages        = {99--106},
 doi          = {10.1145/1924421.1924444},
)
@article(Lewis1973b,
 author       = {D. Lewis},
 year         = {1973},
 title        = {Causation},
 journal      = {Journal of Philosophy},
 volume       = {70},
 doi          = {10.2307/2025310},
)
@book(Lewis1986,
 author       = {D. Lewis},
 year         = {1986},
 title        = {Philosophical Papers},
 publisher    = {Oxford University Press},
 doi          = {10.1093/0195032047.001.0001},
)
@book(Lewis00,
 author       = {D. Lewis},
 year         = {2000},
 title        = {Counterfactuals},
 edition      = {2nd},
 publisher    = {Blackwell},
)
@inbook(Neves2016,
 author       = {R. Neves and L. S. Barbosa},
 year         = {2016},
 title        = {Hybrid Automata as Coalgebras},
 pages        = {385--402},
 series       = {LNCS},
 volume       = {9965},
 publisher    = {Springer International Publishing},
 doi          = {10.1007/978-3-319-46750-4\_22},
)
@article(pajicTII2012,
 author       = {M. Pajic and R. Mangharam and O. Sokolsky and D. Arney and J. Goldman and I. Lee},
 year         = {2014},
 title        = {Model-Driven Safety Analysis of Closed-Loop Medical Systems},
 journal      = {IEEE Transactions on Industrial Informatics},
 volume       = {10},
 number       = {1},
 pages        = {3--16},
 doi          = {10.1109/TII.2012.2226594},
)
@book(Pearl2000,
 author       = {J. Pearl},
 year         = {2000},
 title        = {Causality: Models, Reasoning, and Inference},
 publisher    = {Cambridge University Press},
)
@article(DBLP:journals/ai/Reiter87,
 author       = {R. Reiter},
 year         = {1987},
 title        = {A Theory of Diagnosis from First Principles},
 journal      = {Artif. Intell.},
 volume       = {32},
 number       = {1},
 pages        = {57--95},
 doi          = {10.1016/0004-3702(87)90062-2},
)
@article(Rutten00,
 author       = {J.J.M.M. Rutten},
 year         = {2000},
 title        = {Universal coalgebra: a theory of systems},
 journal      = {Theoretical Computer Science, vol. 249},
 doi          = {10.1016/S0304-3975(00)00056-6},
)
@article(Sokolova11,
 author       = {Ana Sokolova},
 year         = {2011},
 title        = {Probabilistic systems coalgebraically: {A} survey},
 journal      = {Theor. Comput. Sci.},
 volume       = {412},
 number       = {38},
 pages        = {5095--5110},
 doi          = {10.1016/j.tcs.2011.05.008},
)
@book(spirtes2000causation,
 author       = {P. Spirtes and C. N. Glymour and R. Scheines},
 year         = {2000},
 title        = {Causation, Prediction, and Search},
 publisher    = {MIT press},
)
@book(tabuada2009,
 author       = {P. Tabuada},
 year         = {2009},
 title        = {Verification and Control of Hybrid Systems - A Symbolic Approach},
 publisher    = {Springer},
 doi          = {10.1007/978-1-4419-0224-5},
)
@inproceedings(RV2013,
 author       = {S. Wang and A. Ayoub and B. Kim and G. G\"ossler and O. Sokolsky and I. Lee},
 year         = {2013},
 title        = {A Causality Analysis Framework for Component-based Real-time Systems},
 editor       = {A. Legay and S. Bensalem},
 booktitle    = {Proc. Runtime Verification 2013},
 series       = {LNCS},
 volume       = {8174},
 publisher    = {Springer},
 pages        = {285--303},
 doi          = {10.1007/978-3-642-40787-1\_17},
)
@inbook(CausalityInPhysics1990,
 editor       = {D.S. Weld and J. de Kleer},
 year         = {1990},
 title        = {Readings in Qualitative Reasoning about Physical Systems},
 chapter      = {9: Causal Explanations of Behavior},
 publisher    = {Morgan Kaufmann},
)
@misc(weslake2015partial,
 author       = {B. Weslake},
 year         = {2013},
 title        = {A partial theory of actual causation},
 howpublished = {https://philpapers.org/rec/WESAPT},
)