R. Alur, C. Courcoubetis, N. Halbwachs, T. Henzinger, P. Ho et al., The algorithmic analysis of hybrid systems, Theoretical Computer Science, vol.138, issue.1, pp.3-34, 1995.
DOI : 10.1016/0304-3975(94)00202-T

R. Alur, T. Feder, and T. A. Henzinger, The benefits of relaxing punctuality, Journal of the ACM, vol.43, issue.1, pp.116-146, 1996.
DOI : 10.1145/227595.227602

L. Astefanoaei, S. B. Rayana, S. Bensalem, M. Bozga, and J. Combaz, Compositional invariant generation for timed systems, TACAS, pp.263-278, 2014.

A. Avizienis, J. Laprie, B. Randell, and C. Landwehr, Basic concepts and taxonomy of dependable and secure computing, IEEE Transactions on Dependable and Secure Computing, vol.1, issue.1, pp.11-33, 2004.
DOI : 10.1109/TDSC.2004.2

T. Ball, M. Naik, and S. Rajamani, From symptom to cause: localizing errors in counterexample traces, POPL, pp.97-105, 2003.

I. Beer, S. Ben-david, H. Chockler, A. Orni, and R. Trefler, Explaining counterexamples using causality. Formal Methods in System Design, pp.20-40, 2012.

G. Behrmann, A. David, and K. Larsen, A Tutorial on Uppaal, SFM, pp.200-236, 2004.
DOI : 10.1007/978-3-540-30080-9_7

T. Chen, M. Diciolla, M. Z. Kwiatkowska, and A. Mereacre, A simulink hybrid heart model for quantitative verification of cardiac pacemakers, Proceedings of the 16th international conference on Hybrid systems: computation and control, HSCC '13, pp.131-136, 2013.
DOI : 10.1145/2461328.2461351

G. Gössler and D. L. Métayer, A General Trace-Based Framework of Logical Causality, FACS -10th International Symposium on Formal Aspects of Component Software -2013, pp.157-173, 2013.
DOI : 10.1007/978-3-319-07602-7_11

A. Groce, S. Chaki, D. Kroening, and O. Strichman, Error explanation with distance metrics, International Journal on Software Tools for Technology Transfer, vol.28, issue.2, pp.229-247, 2006.
DOI : 10.1007/s10009-005-0202-0
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.131.9348

J. Halpern and J. Pearl, Causes and Explanations: A Structural-Model Approach. Part I: Causes, The British Journal for the Philosophy of Science, vol.56, issue.4, pp.843-887, 2005.
DOI : 10.1093/bjps/axi147

D. Hume, An Enquiry Concerning Human Understanding, 1748.

Z. Jiang, M. Pajic, S. Moarref, R. Alur, and R. Mangharam, Modeling and Verification of a Dual Chamber Implantable Pacemaker, TACAS, pp.188-203, 2012.
DOI : 10.1007/978-3-642-28756-5_14

B. Jobstmann, S. Staber, A. Griesmayer, and R. Bloem, Finding and fixing faults, Journal of Computer and System Sciences, vol.78, issue.2, pp.441-460, 2012.
DOI : 10.1016/j.jcss.2011.05.005

M. Kuntz, F. Leitner-fischer, and S. Leue, From Probabilistic Counterexamples via Causality to Fault Trees, LNCS, vol.6894, pp.71-84, 2011.
DOI : 10.1007/11691372_29

R. Küsters, T. Truderung, and A. Vogt, Accountability: definition and relationship to verifiability, ACM Conference on Computer and Communications Security, pp.526-535, 2010.

L. Lamport, Time, clocks, and the ordering of events in a distributed system, Communications of the ACM, vol.21, issue.7, pp.558-565, 1978.
DOI : 10.1145/359545.359563

O. Maler, D. Nickovic, and A. Pnueli, From MITL to Timed Automata, LNCS, vol.4202, pp.274-289, 2006.
DOI : 10.1007/11867340_20

M. Moy and K. Altisen, Arrival Curves for Real-Time Calculus: The Causality Problem and Its Solutions, LNCS, vol.6015, pp.358-372, 2010.
DOI : 10.1007/978-3-642-12002-2_31
URL : https://hal.archives-ouvertes.fr/hal-00442257

I. Ober, S. Graf, and D. Lesens, Modeling and Validation of a Software Architecture for the Ariane-5 Launcher, LNCS, vol.20, issue.1, pp.48-62, 2006.
DOI : 10.1145/321738.321743

M. Pajic, Z. Jiang, I. Lee, O. Sokolsky, and R. Mangharam, From Verification to Implementation: A Model Translation Tool and a Pacemaker Case Study, 2012 IEEE 18th Real Time and Embedded Technology and Applications Symposium, pp.173-184, 2012.
DOI : 10.1109/RTAS.2012.25

M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, and D. Teneketzis, Diagnosability of discrete-event systems, IEEE Transactions on Automatic Control, vol.40, issue.9, pp.1555-1575, 1995.
DOI : 10.1109/9.412626

C. Wang, Z. Yang, F. Ivancic, and A. Gupta, Whodunit? Causal Analysis for Counterexamples, LNCS, vol.4218, pp.82-95, 2006.
DOI : 10.1007/11901914_9

S. Wang, A. Ayoub, B. Kim, G. Gössler, O. Sokolsky et al., A Causality Analysis Framework for Component-Based Real-Time Systems, Proc. Runtime Verification 2013, pp.285-303, 2013.
DOI : 10.1007/978-3-642-40787-1_17
URL : https://hal.archives-ouvertes.fr/hal-00919081

P. Ye, E. Entcheva, R. Grosu, and S. Smolka, Efficient modeling of excitable cells using hybrid automata, CMSB'05, 2005.

A. Zeller, Why Programs Fail, 2009.