@inproceedings(Aceto12,
 author       = {Luca Aceto and Arnar Birgisson and Anna Ing{\'{o}}lfsd{\'{o}}ttir and Mohammad Reza Mousavi},
 year         = {2011},
 title        = {Decompositional Reasoning about the History of Parallel Processes},
 editor       = {Farhad Arbab and Marjan Sirjani},
 booktitle    = {Fundamentals of Software Engineering - 4th {IPM} International Conference, {FSEN} 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers},
 series       = {Lecture Notes in Computer Science},
 volume       = {7141},
 publisher    = {Springer},
 pages        = {32--47},
 doi          = {10.1007/978-3-642-29320-7\_3},
)
@inproceedings(Andersen95,
 author       = {H. R. Andersen},
 year         = {1995},
 title        = {Partial Model Checking (Extended Abstract)},
 booktitle    = {LICS},
 pages        = {398--407},
 doi          = {10.1109/LICS.1995.523274},
)
@inproceedings(DBLP:conf/spin/BeerHKLL15,
 author       = {Adrian Beer and Stephan Heidinger and Uwe K{\"{u}}hne and Leitner{-}Fischer, Florian and Stefan Leue},
 year         = {2015},
 title        = {Symbolic Causality Checking Using Bounded Model Checking},
 editor       = {Bernd Fischer and Jaco Geldenhuys},
 booktitle    = {Model Checking Software - 22nd International Symposium, {SPIN} 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {9232},
 publisher    = {Springer},
 pages        = {203--221},
 doi          = {10.1007/978-3-319-23404-5\_14},
)
@inproceedings(DBLP:conf/rv/BefroueiWW14,
 author       = {Mitra Tabaei Befrouei and Chao Wang and Georg Weissenbacher},
 year         = {2014},
 title        = {Abstraction and Mining of Traces to Explain Concurrency Bugs},
 editor       = {Borzoo Bonakdarpour and Scott A. Smolka},
 booktitle    = {Runtime Verification - 5th International Conference, {RV} 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {8734},
 publisher    = {Springer},
 pages        = {162--177},
 doi          = {10.1007/978-3-319-11164-3\_14},
)
@techreport(crest-tech-rep,
 author       = {G. Caltais and S. Leue and M.R. Mousavi},
 year         = {2016},
 title        = {({D}e-){C}omposing {C}ausality in {L}abeled {T}ransition {S}ystems},
 type         = {Technical Report},
 number       = {soft-16-02},
 url          = {http://se.uni-konstanz.de/uploads/tx_sibibtex/crest_2016.pdf},
)
@article(Giannakopoulou05,
 author       = {D. Giannakopoulou and C. S. Pasareanu and H. Barringer},
 year         = {2005},
 title        = {Component Verification with Automatically Generated Assumptions},
 journal      = {Autom. Softw. Eng.},
 volume       = {12},
 number       = {3},
 pages        = {297--320},
 doi          = {10.1007/s10515-005-2641-y},
)
@inproceedings(Gossler14,
 author       = {G{\"{o}}{\ss}ler, Gregor and Lacramioara Astefanoaei},
 year         = {2014},
 title        = {Blaming in component-based real-time systems},
 booktitle    = {2014 International Conference on Embedded Software, {EMSOFT} 2014},
 publisher    = {ACM Press},
 pages        = {7:1--7:10},
 doi          = {10.1145/2656045.2656048},
)
@article(Gossler15,
 author       = {G{\"{o}}{\ss}ler, Gregor and Le M{\'{e}}tayer, Daniel},
 year         = {2015},
 title        = {A general framework for blaming in component-based systems},
 journal      = {Sci. Comput. Program.},
 volume       = {113},
 pages        = {223--235},
 doi          = {10.1016/j.scico.2015.06.010},
)
@inproceedings(Gossler10,
 author       = {G{\"{o}}{\ss}ler, Gregor and Le M{\'{e}}tayer, Daniel and Jean{-}Baptiste Raclet},
 year         = {2010},
 title        = {Causality Analysis in Contract Violation},
 booktitle    = {Runtime Verification - First International Conference, {RV} 2010},
 series       = {Lecture Notes in Computer Science},
 volume       = {6418},
 publisher    = {Springer},
 pages        = {270--284},
 doi          = {10.1007/978-3-642-16612-9{\_}21},
)
@inproceedings(Gossler15b,
 author       = {G{\"{o}}{\ss}ler, Gregor and Jean{-}Bernard Stefani},
 year         = {2016},
 title        = {Fault Ascription in Concurrent Systems},
 booktitle    = {Trustworthy Global Computing - 10th International Symposium, {TGC}},
 series       = {Lecture Notes in Computer Science},
 volume       = {9533},
 publisher    = {Springer},
 pages        = {79--94},
 doi          = {10.1007/978-3-319-28766-9},
)
@article(GroceCKS06,
 author       = {A. Groce and S. Chaki and D. Kroening and O. Strichman},
 year         = {2006},
 title        = {Error explanation with distance metrics},
 journal      = {International Journal on Software Tools for Technology Transfer (STTT)},
 volume       = {8},
 number       = {3},
 doi          = {10.1007/s10009-005-0202-0},
)
@inproceedings(Groce03,
 author       = {A. Groce and W. Visser},
 year         = {2003},
 title        = {What Went Wrong: Explaining Counterexamples},
 booktitle    = {Workshop on Software Model Checking ({SPIN})},
 series       = {Lecture Notes in Computer Science 2648},
 publisher    = {Springer},
 pages        = {121--135},
 doi          = {10.1007/3-540-44829-2\_8},
)
@article(halpern2005causes,
 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},
 doi          = {10.1093/bjps/axi148},
)
@inproceedings(DBLP:conf/icalp/HennessyM80,
 author       = {Matthew Hennessy and Robin Milner},
 year         = {1980},
 title        = {On Observing Nondeterminism and Concurrency},
 editor       = {J. W. de Bakker and Jan van Leeuwen},
 booktitle    = {Automata, Languages and Programming, 7th Colloquium, Noordweijkerhout, The Netherland, July 14-18, 1980, Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {85},
 publisher    = {Springer},
 pages        = {299--309},
 doi          = {10.1007/3-540-10003-2\_79},
)
@inproceedings(ladkin1998analysing,
 author       = {Peter Ladkin and Karsten Loer},
 year         = {1998},
 title        = {Analysing Aviation Accidents Using WB-Analysis -- an Application of Multimodal Reasoning},
 booktitle    = {AAAI Spring Symposium},
 publisher    = {AAAI},
 url          = {https://www.aaai.org/Papers/Symposia/Spring/1998/SS-98-04/SS98-04-031.pdf},
)
@article(Larsen91,
 author       = {Kim Guldstrand Larsen and Liu Xinxin},
 year         = {1991},
 title        = {Compositionality through an Operational Semantics of Contexts},
 journal      = {J. Log. Comput.},
 volume       = {1},
 number       = {6},
 pages        = {761--795},
 doi          = {10.1093/logcom/1.6.761},
)
@inproceedings(DBLP:conf/vmcai/Leitner-FischerL13,
 author       = {Leitner{-}Fischer, Florian and Stefan Leue},
 year         = {2013},
 title        = {Causality Checking for Complex System Models},
 editor       = {Roberto Giacobazzi and Josh Berdine and Isabella Mastroeni},
 booktitle    = {Verification, Model Checking, and Abstract Interpretation, 14th International Conference, {VMCAI} 2013, Rome, Italy, January 20-22, 2013. Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {7737},
 publisher    = {Springer},
 pages        = {248--267},
 doi          = {10.1007/978-3-642-35873-9\_16},
)
@article(LeiLeu13d,
 author       = {Leitner-Fischer, Florian and Stefan Leue},
 year         = {2013},
 title        = {Probabilistic Fault Tree Synthesis using Causality Computation},
 journal      = {International Journal of Critical Computer-Based Systems},
 volume       = {4},
 pages        = {pp. 119--143},
 doi          = {10.1504/IJCCBS.2013.056492},
)
@inproceedings(DBLP:conf/spin/Leitner-FischerL14,
 author       = {Leitner{-}Fischer, Florian and Stefan Leue},
 year         = {2014},
 title        = {SpinCause: a tool for causality checking},
 editor       = {Neha Rungta and Oksana Tkachuk},
 booktitle    = {2014 International Symposium on Model Checking of Software, {SPIN} 2014, Proceedings, San Jose, CA, USA, July 21-23, 2014},
 publisher    = {{ACM}},
 pages        = {117--120},
 doi          = {10.1145/2632362.2632371},
)
@book(Lew73a,
 author       = {D. Lewis},
 year         = {1973},
 title        = {Counterfactuals},
 publisher    = {Blackwell Publishers},
)
@book(DBLP:books/sp/Milner80,
 author       = {Robin Milner},
 year         = {1980},
 title        = {A {C}alculus of {C}ommunicating {S}ystems},
 series       = {Lecture Notes in Computer Science},
 volume       = {92},
 publisher    = {Springer},
 doi          = {10.1007/3-540-10235-3},
)
@inproceedings(Noroozi13,
 author       = {N. Noroozi and M.R. Mousavi and T.A.C. Willemse},
 year         = {2013},
 title        = {Decomposability in Input Output Conformance Testing},
 booktitle    = {Proceedings of the 8th Workshop on Model-Based Testing ({MBT} 2013)},
 series       = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {111},
 pages        = {51--66},
 doi          = {10.4204/EPTCS.111.5},
)
@inproceedings(Renieris,
 author       = {M.\ Renieris and S.P.\ Reiss},
 year         = {2003},
 title        = {Fault localization with nearest neighbor queries},
 booktitle    = {18th International Conference on Automated Software Engineering},
 address      = {Montreal, Canada},
 doi          = {10.1109/ASE.2003.1240292},
)
@book(unknownComponent,
 author       = {T. Villa and N. Yevtushenko and R.K. Brayton and A. Mishchenko and A. Petrenko and Sangiovanni-Vincentelli, A.},
 year         = {2012},
 title        = {The Unknown Component Problem, Theory and Applications},
 publisher    = {Springer},
 doi          = {10.1007/978-0-387-68759-9},
)
@inproceedings(Xie05,
 author       = {G. Xie and Z. Dang},
 year         = {2006},
 title        = {Testing systems of concurrent black-boxes---an automata-theoretic and decompositional approach},
 booktitle    = {FATES},
 series       = {LNCS},
 volume       = {3997},
 publisher    = {Springer},
 pages        = {170--186},
 doi          = {10.1007/11759744\_12},
)
@book(Zel09,
 author       = {Andreas Zeller},
 year         = {2009},
 title        = {Why Programs Fail: A Guide to Systematic Debugging},
 publisher    = {Elsevier},
)