@article(abdelwahed2009practical,
 author       = {S. Abdelwahed and G. Karsai and N. Mahadevan and S.C. Ofsthun},
 year         = {2009},
 title        = {Practical implementation of diagnosis systems using timed failure propagation graph models},
 journal      = {Instrumentation and Measurement, IEEE Transactions on},
 volume       = {58},
 number       = {2},
 pages        = {240--247},
 doi          = {10.1109/TIM.2008.2005958},
)
@inproceedings(DBLP:conf/isola/AbdullaDSAA04,
 author       = {P.A. Abdulla and J. Deneux and St{\r a}lmarck, G. and {\r A}gren, H. and {\r A}kerlund, O.},
 year         = {2004},
 title        = {{Designing Safe, Reliable Systems Using Scade}},
 booktitle    = {Proc. ISoLA 2004},
 pages        = {115--129},
 doi          = {10.1007/11925040\_8},
)
@inproceedings(AUTOGEF-DASIA,
 author       = {Ala{\~{n}}a, E. and H. Naranjo and Y. Yushtein and M. Bozzano and A. Cimatti and M. Gario and R. de Ferluc and G. Garcia},
 year         = {2012},
 title        = {{Automated generation of FDIR for the compass integrated toolset (AUTOGEF)}},
 booktitle    = {{Proc. DAta Systems In Aerospace, DASIA 2012}},
 volume       = {{ESA SP 701}},
)
@book(katoen_mc,
 author       = {C. Baier and J.-P. Katoen},
 year         = {2008},
 title        = {Principles of Model Checking},
 publisher    = {MIT Press},
)
@incollection(ONERA2,
 author       = {P. Bieber and C. Bougnol and C. Castel and C. Kehren, J.-P. and S. Metge and C. Seguin},
 year         = {2004},
 title        = {Safety Assessment with {A}lta{R}ica},
 booktitle    = {Building the Information Society},
 series       = {IFIP International Federation for Information Processing},
 volume       = {156},
 publisher    = {Springer},
 pages        = {505--510},
 doi          = {10.1007/978-1-4020-8157-6\_45},
)
@phdthesis(bittner2016thesis,
 author       = {B. Bittner},
 year         = {2016},
 title        = {Formal Failure Analyses for Effective Fault Management: An Aerospace Perspective},
 school       = {University of Trento},
)
@inproceedings(xSAP,
 author       = {B. Bittner and M. Bozzano and R. Cavada and A. Cimatti and M. Gario and A. Griggio and C. Mattarei and A. Micheli and G. Zampedri},
 year         = {2016},
 title        = {{The xSAP Safety Analysis Platform}},
 booktitle    = {Proc TACAS},
 organization = {Springer},
 pages        = {533--539},
 doi          = {10.1007/978-3-662-49674-9\_31},
)
@inproceedings(bittner2016synthesis,
 author       = {B. Bittner and M. Bozzano and A. Cimatti},
 year         = {2016},
 title        = {Automated Synthesis of Timed Failure Propagation Graphs},
 booktitle    = {Proc. IJCAI},
 pages        = {972--978},
)
@inproceedings(IMBSA-regular,
 author       = {B. Bittner and M. Bozzano and A. Cimatti and R. de Ferluc and M. Gario and A. Guiotto and Y. Yushtein},
 year         = {2014},
 title        = {{An Integrated Process for FDIR Design in Aerospace}},
 booktitle    = {{Proc. IMBSA 2014}},
 series       = {{LNCS}},
 volume       = {8822},
 pages        = {82--95},
 doi          = {10.1007/978-3-319-12214-4\_7},
)
@inproceedings(aaai12,
 author       = {B. Bittner and M. Bozzano and A. Cimatti and X. Olive},
 year         = {2012},
 title        = {{Symbolic Synthesis of Observability Requirements for Diagnosability}},
 booktitle    = {AAAI Conference on Artificial Intelligence},
)
@inproceedings(bittner2016automated,
 author       = {B. Bittner and M. Bozzano and A. Cimatti and G. Zampedri},
 year         = {2016},
 title        = {Automated Verification and Tightening of Failure Propagation Models},
 booktitle    = {Proceedings of the 30th AAAI Conference on Artificial Intelligence (AAAI 2016)},
 pages        = {907--913},
)
@inproceedings(bozzano:04,
 author       = {M. Bozzano and A. Cavallo and M. Cifaldi and L. Valacca and A. Villafiorita},
 year         = {2003},
 title        = {{Improving Safety Assessment of Complex Systems: An Industrial Case Study}},
 booktitle    = {Proc. FME},
 series       = {LNCS},
 volume       = {2805},
 pages        = {208--222},
 doi          = {10.1007/978-3-540-45236-2\_13},
)
@inproceedings(bozzano2015smt,
 author       = {M. Bozzano and A. Cimatti and M. Gario and A. Micheli},
 year         = {2015},
 title        = {SMT-based Validation of Timed Failure Propagation Graphs},
 booktitle    = {Twenty-ninth AAAI Conference on Artificial Intelligence},
 pages        = {3724--3730},
)
@inproceedings(TACAS14,
 author       = {M. Bozzano and A. Cimatti and M. Gario and S. Tonetta},
 year         = {2014},
 title        = {{Formal Design of Fault Detection and Identification Components Using Temporal Epistemic Logic}},
 booktitle    = {Proc. TACAS},
 pages        = {326--340},
 doi          = {10.1007/978-3-642-54862-8\_22},
)
@article(LMCS,
 author       = {M. Bozzano and A. Cimatti and M. Gario and S. Tonetta},
 year         = {2015},
 title        = {{Formal Design of Asynchronous {FDI} Components using Temporal Epistemic Logic}},
 journal      = {Logical Methods in Computer Science},
 volume       = {11},
 doi          = {10.2168/LMCS-11(4:4)2015},
)
@article(DBLP:journals/cj/BozzanoCKNNR11,
 author       = {M. Bozzano and A. Cimatti and J.-P. Katoen and V.Y. Nguyen and T. Noll and M. Roveri},
 year         = {2011},
 title        = {{Safety, Dependability and Performance Analysis of Extended AADL Models}},
 journal      = {Computer Journal},
 volume       = {54},
 number       = {5},
 pages        = {754--775},
 doi          = {10.1093/comjnl/bxq024},
)
@inproceedings(CAV-algos-paper,
 author       = {M. Bozzano and A. Cimatti and C. Mattarei and A. Griggio},
 year         = {2015},
 title        = {{Efficient Anytime Techniques for Model-Based Safety Analysis}},
 booktitle    = {{CAV}},
 pages        = {603--621},
 doi          = {10.1007/978-3-319-21690-4\_41},
)
@inproceedings(ATVA07,
 author       = {M. Bozzano and A. Cimatti and F. Tapparo},
 year         = {2007},
 title        = {{Symbolic Fault Tree Analysis for Reactive Systems}},
 booktitle    = {{Proc. ATVA}},
 series       = {LNCS},
 volume       = {4762},
 publisher    = {Springer},
 pages        = {162--176},
 doi          = {10.1007/978-3-540-75596-8\_13},
)
@article(bozzano:02,
 author       = {M. Bozzano and A. Villafiorita},
 year         = {2003},
 title        = {{Integrating Fault Tree Analysis with Event Ordering Information}},
 journal      = {Proc. ESREL 2003},
 pages        = {247--254},
)
@book(SafetyAssessmentBook,
 author       = {M. Bozzano and A. Villafiorita},
 year         = {2010},
 title        = {Design and Safety Assessment of Critical Systems},
 publisher    = {CRC Press (Taylor and Francis), an Auerbach Book},
 doi          = {10.1201/b10094},
)
@article(bozzano:03,
 author       = {M. Bozzano and A. Villafiorita},
 year         = {2003},
 title        = {{{ESACS}: An Integrated Methodology for Design and Safety Analysis of Complex Systems}},
 journal      = {Proc. ESREL 2003},
 pages        = {237--245},
)
@inproceedings(DBLP:conf/vmcai/Bradley11,
 author       = {A.R. Bradley},
 year         = {2011},
 title        = {{SAT-Based Model Checking without Unrolling}},
 booktitle    = {VMCAI},
 pages        = {70--87},
 doi          = {10.1007/978-3-642-18275-4\_7},
)
@inproceedings(Leue2,
 author       = {G. Caltais and S. Leue and M. Reza Mousavi},
 year         = {2016},
 title        = {{(De-)Composing Causality in Labeled Transition Systems}},
 booktitle    = {{Proc. CREST: Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies}},
 doi          = {10.4204/EPTCS.224.3},
)
@inproceedings(nusmv,
 author       = {A. Cimatti and E.M. Clarke and E. Giunchiglia and F. Giunchiglia and M. Pistore and M. Roveri and R. Sebastiani and A. Tacchella},
 year         = {2002},
 title        = {{NuSMV 2: An OpenSource Tool for Symbolic Model Checking}},
 booktitle    = {CAV},
 pages        = {359--364},
 doi          = {10.1007/3-540-45657-0\_29},
)
@inproceedings(FMCAD13,
 author       = {A. Cimatti and A. Griggio and S. Mover and S. Tonetta},
 year         = {2013},
 title        = {Parameter synthesis with {IC3}},
 booktitle    = {Proceedings of FMCAD},
 publisher    = {{IEEE}},
 pages        = {165--168},
 doi          = {10.1109/FMCAD.2013.6679406},
)
@inproceedings(Cimatti2003,
 author       = {A. Cimatti and C. Pecheur and R. Cavada},
 year         = {2003},
 title        = {{Formal Verification of Diagnosability via Symbolic Model Checking}},
 booktitle    = {IJCAI},
 pages        = {363--369},
)
@article(CRST12,
 author       = {A. Cimatti and M. Roveri and A. Susi and S. Tonetta},
 year         = {2012},
 title        = {{Validation of requirements for hybrid systems: A formal approach}},
 journal      = {ACM Transactions on Software Engineering and Methodology},
 volume       = {21},
 number       = {4},
 pages        = {22},
 doi          = {10.1145/2377656.2377659},
)
@book(clarke_mc,
 author       = {E.M. Clarke and O. Grumberg and D.A. Peled},
 year         = {2000},
 title        = {Model Checking},
 publisher    = {MIT Press},
)
@inproceedings(Ezekiel2011,
 author       = {J. Ezekiel and A. Lomuscio and L. Molnar and S.M. Veres},
 year         = {2011},
 title        = {{Verifying Fault Tolerance and Self-Diagnosability of an Autonomous Underwater Vehicle}},
 booktitle    = {IJCAI},
 pages        = {1659--1664},
)
@inproceedings(mck,
 author       = {P. Gammie and Van Der Meyden, R.},
 year         = {2004},
 title        = {MCK: Model checking the logic of knowledge},
 booktitle    = {CAV},
 publisher    = {Springer},
 pages        = {256--259},
 doi          = {10.1007/978-3-540-27813-9\_41},
)
@inproceedings(FAME-DASIA,
 author       = {A. Guiotto and R. De Ferluc and M. Bozzano and A. Cimatti and M. Gario and Y.Yushtein},
 year         = {2014},
 title        = {{Fame process: A dedicated development and V\&V process for FDIR}},
 booktitle    = {{Proc. DASIA}},
 series       = {{European Space Agency, (Special Publication)}},
 volume       = {{ESA SP 725}},
)
@inproceedings(Halpern2,
 author       = {J. Halpern},
 year         = {2015},
 title        = {{A modification of the Halpern-Pearl definition of causality}},
 booktitle    = {{Proc. IJCAI 2015}},
 pages        = {3022--3033},
)
@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},
 volume       = {56},
 number       = {4},
 pages        = {843--887},
 doi          = {10.1093/bjps/axi147},
)
@article(HalpernVardi1989,
 author       = {J.Y. Halpern and M.Y Vardi},
 year         = {1989},
 title        = {{The complexity of Reasoning About Knowledge and Time. Lower Bounds}},
 journal      = {Journal of Computer and System Sciences},
 volume       = {38},
 number       = {1},
 pages        = {195--237},
 doi          = {10.1016/0022-0000(89)90039-1},
)
@inproceedings(Huang2013,
 author       = {X. Huang},
 year         = {2013},
 title        = {Diagnosability in Concurrent Probabilistic Systems},
 booktitle    = {AAMAS},
 pages        = {853--860},
)
@inproceedings(Jiang2001,
 author       = {S. Jiang and R. Kumar},
 year         = {2001},
 title        = {Failure Diagnosis of Discrete Event Systems with Linear-time Temporal Logic Fault Specifications},
 booktitle    = {IEEE Transactions on Automatic Control},
 pages        = {128--133},
 doi          = {10.1109/ACC.2002.1024792},
)
@inproceedings(Joshi05:Dasc,
 author       = {A. Joshi and S.P. Miller and M. Whalen and M.P.E. Heimdahl},
 year         = {2005},
 title        = {{A Proposal for Model-Based Safety Analysis}},
 booktitle    = {{Proc. DASC}},
 publisher    = {IEEE Computer Society},
 doi          = {10.1109/DASC.2005.1563469},
)
@article(Leue1,
 author       = {Leitner-Fischer, F. and S. Leue},
 year         = {2013},
 title        = {{Probabilistic Fault Tree Synthesis using Causality Computation}},
 journal      = {{International Journal of Critical Computer-Based Systems}},
 volume       = {4},
 number       = {2},
 pages        = {119--143},
 doi          = {10.1504/IJCCBS.2013.056492},
)
@conference(misra1992diagnosability,
 author       = {A. Misra and J. Sztipanovits and A. Underbrink and R. Carnes and B. Purves},
 year         = {1992},
 title        = {Diagnosability of Dynamical Systems},
 booktitle    = {Third International Workshop on Principles of Diagnosis},
)
@article(Sampath96,
 author       = {M. Sampath and R. Sengupta and S. Lafortune and K. Sinnamohideen and D. C. Teneketzis},
 year         = {1996},
 title        = {{Failure diagnosis using discrete-event models}},
 journal      = {IEEE Transactions on Control Systems Technology},
 volume       = {4},
 number       = {2},
 pages        = {105--124},
 doi          = {10.1109/87.486338},
)
@article(Schumann2004,
 author       = {A. Schumann},
 year         = {2004},
 title        = {{Diagnosis of discrete-event systems using binary decision diagrams}},
 journal      = {Workshop on Principles of Diagnosis (DX'04)},
 pages        = {197--202},
)
@techreport(FTH2,
 author       = {W.E. Vesely and M. Stamatelatos and J. Dugan and J. Fragola and {Minarick III}, J. and J. Railsback},
 year         = {2002},
 title        = {{Fault Tree Handbook with Aerospace Applications}},
 type         = {Technical Report},
 institution  = {NASA},
)