R. Alur and D. L. Dill, A theory of timed automata, Theoretical Computer Science, vol.126, issue.2, pp.183-235, 1994.
DOI : 10.1016/0304-3975(94)90010-8

A. Basu, S. Bensalem, M. Bozga, J. Combaz, M. Jaber et al., Rigorous Component-Based System Design Using the BIP Framework, IEEE Software, vol.28, issue.3, pp.41-48, 2011.
DOI : 10.1109/MS.2011.27
URL : https://hal.archives-ouvertes.fr/hal-00722395

S. Beckers and J. Vennekens, Counterfactual dependency and actual causation in cp-logic and structural models: a comparison, Frontiers in Artificial Intelligence and Applications, vol.241, pp.35-46, 2012.

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

E. Fabre, A. Benveniste, S. Haar, and C. Jard, Distributed Monitoring of Concurrent and Asynchronous Systems*, Discrete Event Dynamic Systems, vol.15, issue.1, pp.33-84, 2005.
DOI : 10.1007/s10626-005-5238-5
URL : https://hal.archives-ouvertes.fr/inria-00638342

G. Fey, S. Staber, R. Bloem, and R. Drechsler, Automatic Fault Localization for Property Checking, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol.27, issue.6, pp.1138-1149, 2008.
DOI : 10.1109/TCAD.2008.923234

C. J. Fidge, Timestamps in message-passing systems that preserve the partial ordering, Proc. ACSC'88, pp.56-66, 1988.

G. Gössler, D. L. Métayer, J. Raclet, H. Barringer, Y. Falcone et al., Causality Analysis in Contract Violation, LNCS, vol.6418, pp.270-284, 2010.
DOI : 10.1007/978-3-642-16612-9_21

G. Gössler and J. Sifakis, Composition for component-based modeling, Science of Computer Programming, vol.55, issue.1-3, pp.161-183, 2005.
DOI : 10.1016/j.scico.2004.05.014

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

N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud, The synchronous dataflow programming language lustre, Proceedings of the IEEE, pp.1305-1320, 1991.

J. Y. 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.

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, Lecture Notes in Computer Science, 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

E. A. Lee and A. Sangiovanni-vincentelli, A framework for comparing models of computation, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol.17, issue.12, pp.1217-1229, 1998.
DOI : 10.1109/43.736561

F. Leitner-fischer and S. Leue, Causality Checking for Complex System Models, LNCS, vol.7737, pp.248-267, 2013.
DOI : 10.1007/978-3-642-35873-9_16

F. Mattern, Virtual time and global states of distributed systems, Proc. Workshop on Parallel and Distributed Algorithms, pp.215-226, 1988.

R. Reiter, A theory of diagnosis from first principles, Artificial Intelligence, vol.32, issue.1, pp.57-95, 1987.
DOI : 10.1016/0004-3702(87)90062-2

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

S. Wang, A. Ayoub, O. Sokolsky, and I. Lee, Runtime Verification of Traces under Recording Uncertainty, LNCS, vol.7186, pp.442-456, 2011.
DOI : 10.1007/978-3-642-29860-8_35

A. Zeller, Why Programs Fail, 2009.