@book(DBLP:books/daglib/0020348,
 author       = {Christel Baier and Joost{-}Pieter Katoen},
 year         = {2008},
 title        = {Principles of model checking},
 publisher    = {{MIT} Press},
)
@inproceedings(DBLP:conf/cav/BeerBCOT09,
 author       = {Ilan Beer and Ben{-}David, Shoham and Hana Chockler and Avigail Orni and Richard J. Trefler},
 year         = {2009},
 title        = {Explaining Counterexamples Using Causality},
 editor       = {Ahmed Bouajjani and Oded Maler},
 booktitle    = {Computer Aided Verification, 21st International Conference, {CAV} 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {5643},
 publisher    = {Springer},
 pages        = {94--108},
 url          = {https://doi.org/10.1007/978-3-642-02658-4_11},
)
@inproceedings(DBLP:conf/ppopp/BloemenLP16,
 author       = {Vincent Bloemen and Alfons Laarman and Jaco van de Pol},
 year         = {2016},
 title        = {Multi-core on-the-fly {SCC} decomposition},
 editor       = {Rafael Asenjo and Tim Harris},
 booktitle    = {Proceedings of the 21st {ACM} {SIGPLAN} Symposium on Principles and Practice of Parallel Programming, PPoPP 2016, Barcelona, Spain, March 12-16, 2016},
 publisher    = {{ACM}},
 pages        = {8:1--8:12},
 url          = {http://doi.acm.org/10.1145/2851141.2851161},
)
@inproceedings(DBLP:conf/hvc/BloemenP16,
 author       = {Vincent Bloemen and Jaco van de Pol},
 year         = {2016},
 title        = {Multi-core SCC-Based {LTL} Model Checking},
 editor       = {Roderick Bloem and Eli Arbel},
 booktitle    = {Hardware and Software: Verification and Testing - 12th International Haifa Verification Conference, {HVC} 2016, Haifa, Israel, November 14-17, 2016, Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {10028},
 pages        = {18--33},
 url          = {https://doi.org/10.1007/978-3-319-49052-6\_2},
)
@inproceedings(DBLP:journals/corr/CaltaisLM16,
 author       = {Georgiana Caltais and Stefan Leue and Mohammad Reza Mousavi},
 year         = {2016},
 title        = {(De-)Composing Causality in Labeled Transition Systems},
 editor       = {G{\"{o}}{\ss}ler, Gregor and Oleg Sokolsky},
 booktitle    = {Proceedings First Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies, CREST@ETAPS 2016, Eindhoven, The Netherlands, 8th April 2016.},
 series       = {{EPTCS}},
 volume       = {224},
 pages        = {10--24},
 url          = {https://doi.org/10.4204/EPTCS.224.3},
)
@inproceedings(DBLP:conf/birthday/ClarkeV03,
 author       = {Edmund M. Clarke and Helmut Veith},
 year         = {2003},
 title        = {Counterexamples Revisited: Principles, Algorithms, Applications},
 editor       = {Nachum Dershowitz},
 booktitle    = {Verification: Theory and Practice, Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday},
 series       = {Lecture Notes in Computer Science},
 volume       = {2772},
 publisher    = {Springer},
 pages        = {208--224},
 url          = {https://doi.org/10.1007/978-3-540-39910-0_9},
)
@article(DBLP:journals/fmsd/CourcoubetisVWY92,
 author       = {Costas Courcoubetis and Moshe Y. Vardi and Pierre Wolper and Mihalis Yannakakis},
 year         = {1992},
 title        = {Memory-Efficient Algorithms for the Verification of Temporal Properties},
 journal      = {Formal Methods in System Design},
 volume       = {1},
 number       = {2/3},
 pages        = {275--288},
 url          = {https://doi.org/10.1007/BF00121128},
)
@inproceedings(DBLP:conf/spin/CouvreurDP05,
 author       = {Jean{-}Michel Couvreur and Duret{-}Lutz, Alexandre and Denis Poitrenaud},
 year         = {2005},
 title        = {On-the-Fly Emptiness Checks for Generalized B{\"{u}}chi Automata},
 editor       = {Patrice Godefroid},
 booktitle    = {Model Checking Software, 12th International {SPIN} Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {3639},
 publisher    = {Springer},
 pages        = {169--184},
 url          = {https://doi.org/10.1007/11537328\_15},
)
@inproceedings(Gossler14,
 author       = {Gregor Goessler and Lacramioara Astefanoaei},
 year         = {2014},
 title        = {Blaming in component-based real-time systems},
 editor       = {Tulika Mitra and Jan Reineke},
 booktitle    = {2014 International Conference on Embedded Software, {EMSOFT} 2014, New Delhi, India, October 12-17, 2014},
 publisher    = {{ACM}},
 pages        = {7:1--7:10},
 url          = {http://doi.acm.org/10.1145/2656045.2656048},
)
@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},
 url          = {http://dx.doi.org/10.1007/978-3-642-16612-9{\_}21},
)
@article(Gossler15,
 author       = {G{\"{o}}{\ss}ler, Gregor and Daniel Le M{\'{e}}tayer},
 year         = {2015},
 title        = {A general framework for blaming in component-based systems},
 journal      = {Sci. Comput. Program.},
 volume       = {113},
 pages        = {223--235},
 url          = {https://doi.org/10.1016/j.scico.2015.06.010},
)
@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},
 url          = {http://dx.doi.org/10.1007/978-3-319-28766-9},
)
@proceedings(DBLP:conf/tacas/2005,
 editor       = {Nicolas Halbwachs and Lenore D. Zuck},
 year         = {2005},
 title        = {Tools and Algorithms for the Construction and Analysis of Systems, 11th International Conference, {TACAS} 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2005, Edinburgh, UK, April 4-8, 2005, Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {3440},
 publisher    = {Springer},
 url          = {https://doi.org/10.1007/b107194},
)
@inproceedings(DBLP:conf/ijcai/Halpern15,
 author       = {Joseph Y. Halpern},
 year         = {2015},
 title        = {A Modification of the Halpern-Pearl Definition of Causality},
 editor       = {Qiang Yang and Michael Wooldridge},
 booktitle    = {Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, {IJCAI} 2015, Buenos Aires, Argentina, July 25-31, 2015},
 publisher    = {{AAAI} Press},
 pages        = {3022--3033},
 url          = {http://ijcai.org/Abstract/15/427},
)
@article(halpern2005causes,
 author       = {Joseph Y. Halpern and Judea Pearl},
 year         = {2002},
 title        = {Causes and Explanations: {A} Structural-Model Approach. Part {II:} Explanations},
 journal      = {CoRR},
 volume       = {cs.AI/0208034},
 url          = {http://arxiv.org/abs/cs.AI/0208034},
)
@book(pubsdoc:logic-computer-science-second,
 author       = {Michael Huth and Mark Dermot Ryan},
 year         = {2004},
 title        = {Logic in computer science - modelling and reasoning about systems {(2.} ed.)},
 publisher    = {Cambridge University Press},
 url          = {https://doi.org/10.1017/CBO9780511810275},
)
@inproceedings(DBLP:conf/nfm/KumazawaT11,
 author       = {Tsutomu Kumazawa and Tetsuo Tamai},
 year         = {2011},
 title        = {Counterexample-Based Error Localization of Behavior Models},
 editor       = {Mihaela Gheorghiu Bobaru and Klaus Havelund and Gerard J. Holzmann and Rajeev Joshi},
 booktitle    = {{NASA} Formal Methods - Third International Symposium, {NFM} 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {6617},
 publisher    = {Springer},
 pages        = {222--236},
 url          = {https://doi.org/10.1007/978-3-642-20398-5\_17},
)
@inproceedings(DBLP:journals/corr/abs-1107-1198,
 author       = {Leitner{-}Fischer, Florian and Stefan Leue},
 year         = {2011},
 title        = {QuantUM: Quantitative Safety Analysis of {UML} Models},
 editor       = {Mieke Massink and Gethin Norman},
 booktitle    = {Proceedings Ninth Workshop on Quantitative Aspects of Programming Languages, {QAPL} 2011, Saarbr{\"{u}}cken, Germany, April 1-3, 2011.},
 series       = {{EPTCS}},
 volume       = {57},
 pages        = {16--30},
 url          = {https://doi.org/10.4204/EPTCS.57.2},
)
@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},
 url          = {https://doi.org/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      = {{IJCCBS}},
 volume       = {4},
 number       = {2},
 pages        = {119--143},
 url          = {https://doi.org/10.1504/IJCCBS.2013.056492},
)
@techreport(OMGSysML,
 author       = {OMG},
 year         = {2007},
 title        = {{OMG Systems Modeling Language (OMG SysML™), V1.0}},
 type         = {Technical Report},
 institution  = {Object Management Group},
 url          = {http://www.omg.org/spec/SysML/1.0/PDF},
)
@book(DBLP:books/sp/Peled2001,
 author       = {Doron A. Peled},
 year         = {2001},
 title        = {Software Reliability Methods},
 series       = {Texts in Computer Science},
 publisher    = {Springer},
 doi          = {10.1007/978-1-4757-3540-6},
 url          = {http://u.cs.biu.ac.il/~doronp/srm.html},
)
@inproceedings(DBLP:conf/tacas/SchuppanB05,
 author       = {Viktor Schuppan and Armin Biere},
 year         = {2005},
 title        = {Shortest Counterexamples for Symbolic Model Checking of {LTL} with Past},
 editor       = {Halbwachs and Zuck},
 pages        = {493--509},
 url          = {https://doi.org/10.1007/978-3-540-31980-1\_32},
)
@inproceedings(DBLP:conf/tacas/SchwoonE05,
 author       = {Stefan Schwoon and Javier Esparza},
 year         = {2005},
 title        = {A Note on On-the-Fly Verification Algorithms},
 editor       = {Halbwachs and Zuck},
 pages        = {174--190},
 url          = {https://doi.org/10.1007/978-3-540-31980-1\_12},
)
@article(DBLP:journals/iandc/Wolper83,
 author       = {Pierre Wolper},
 year         = {1983},
 title        = {Temporal Logic Can Be More Expressive},
 journal      = {Information and Control},
 volume       = {56},
 number       = {1/2},
 pages        = {72--99},
 url          = {https://doi.org/10.1016/S0019-9958(83)80051-5},
)