@article(BeerBCOT12,
 author       = {Ilan Beer and Ben{-}David, Shoham and Hana Chockler and Avigail Orni and Richard 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},
)
@inbook(EuropeanTortLaw,
 author       = {Francesco D. Busnelli and Giovanni Comand{\'e} and Herman Cousy and Dan B. Dobbs and Bill W. Dufwa and Michael G. Faure and Israel Gilead and Michael D. Green and Konstantinos D. Kerameus and Bernhard A. Koch and Helmut Koziol and Ulrich Magnus and Mart{\'i}n-Casals, Miquel and Olivier Mor{\'e}teau and Johann Neethling and Horton Rogers, W. V. and Jorge Ferreira Sinde Monteiro and Jaap Spier and Lubos Tichy and Pierre Widmer},
 year         = {2005},
 title        = {Causation},
 pages        = {43--63},
 publisher    = {Springer Vienna},
 address      = {Vienna},
 doi          = {10.1007/3-211-27751-X_4},
)
@inproceedings(ChocklerGY08,
 author       = {Hana Chockler and Orna Grumberg and Avi Yadgar},
 year         = {2008},
 title        = {Efficient Automatic {STE} Refinement Using Responsibility},
 editor       = {C. R. Ramakrishnan and Jakob Rehof},
 booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems, 14th International Conference, {TACAS} 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {4963},
 publisher    = {Springer},
 pages        = {233--248},
 doi          = {10.1007/978-3-540-78800-3_17},
)
@article(ChocklerHK08,
 author       = {Hana Chockler and Joseph Y. Halpern and Orna Kupferman},
 year         = {2008},
 title        = {What causes a system to satisfy a specification?},
 journal      = {{ACM} Trans. Comput. Log.},
 volume       = {9},
 number       = {3},
 pages        = {20:1--20:26},
 doi          = {10.1145/1352582.1352588},
)
@inproceedings(GosslerM13,
 author       = {G{\"{o}}{\ss}ler, Gregor and Daniel Le M{\'{e}}tayer},
 year         = {2013},
 title        = {A General Trace-Based Framework of Logical Causality},
 editor       = {Jos{\'{e}} Luiz Fiadeiro and Zhiming Liu and Jinyun Xue},
 booktitle    = {Formal Aspects of Component Software - 10th International Symposium, {FACS} 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers},
 series       = {Lecture Notes in Computer Science},
 volume       = {8348},
 publisher    = {Springer},
 pages        = {157--173},
 doi          = {10.1007/978-3-319-07602-7_11},
)
@inproceedings(GosslerMR10,
 author       = {G{\"{o}}{\ss}ler, Gregor and Daniel Le M{\'{e}}tayer and Jean{-}Baptiste Raclet},
 year         = {2010},
 title        = {Causality Analysis in Contract Violation},
 editor       = {Howard Barringer and Yli{\`{e}}s Falcone and Bernd Finkbeiner and Klaus Havelund and Insup Lee and Gordon J. Pace and Grigore Rosu and Oleg Sokolsky and Nikolai Tillmann},
 booktitle    = {Runtime Verification - First International Conference, {RV} 2010, St. Julians, Malta, November 1-4, 2010. Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {6418},
 publisher    = {Springer},
 pages        = {270--284},
 doi          = {10.1007/978-3-642-16612-9_21},
)
@article(HalpernP05,
 author       = {J.Y. Halpern and J. Pearl},
 year         = {2005},
 title        = {Causes and explanations: A structural-model approach. Part {I}: Causes},
 journal      = {The British journal for the philosophy of science},
 volume       = {56},
 number       = {4},
 pages        = {843--887},
 doi          = {10.1093/bjps/axi147},
)
@book(Hume1748,
 author       = {D. Hume},
 year         = {1748},
 title        = {An Enquiry concerning Human Understanding},
 doi          = {10.1093/oseo/instance.00032980},
)
@article(Leitner-FischerL13,
 author       = {Leitner{-}Fischer, Florian and Stefan Leue},
 year         = {2013},
 title        = {Probabilistic fault tree synthesis using causality computation},
 journal      = {{IJCCBS}},
 volume       = {4},
 number       = {2},
 pages        = {119--143},
 doi          = {10.1504/IJCCBS.2013.056492},
)
@incollection(Lewis2004,
 author       = {D. Lewis},
 year         = {2004},
 title        = {Void and Object},
 editor       = {John Collins and Ned Hall and L. A. Paul},
 booktitle    = {Causation and Counterfactuals},
 publisher    = {{MIT} Press},
 pages        = {277--290},
)