V. [. Aziz, R. K. Singhal, A. L. Brayton, and . Sangiovanni-vincentelli, It usually works: The temporal logic of stochastic systems, 7th International Conference On Computer Aided Verification, pp.155-165, 1995.
DOI : 10.1007/3-540-60045-0_48

P. Boudali, . Crouzen, R. Boudewijn, M. Haverkort, M. Kuntz et al., Arcade - A Formal, Extensible, Model-Based Dependability Evaluation Framework, 13th IEEE International Conference on Engineering of Complex Computer Systems (iceccs 2008), pp.243-248, 2008.
DOI : 10.1109/ICECCS.2008.11

B. [. Benveniste, R. Caillaud, and . Passerone, A generic model of contracts for embedded systems, 2007.
URL : https://hal.archives-ouvertes.fr/inria-00153477

[. Boudali, P. Crouzen, and M. Stoelinga, A Compositional Semantics for Dynamic Fault Trees in Terms of Interactive Markov Chains, Lecture Notes in Computer Science, vol.4762, pp.441-456, 2007.
DOI : 10.1007/978-3-540-75596-8_31

[. Gimbert, Pure Stationary Optimal Strategies in Markov Decision Processes, Lecture Notes in Computer Science, vol.4393, pp.200-211, 2007.
DOI : 10.1007/978-3-540-70918-3_18
URL : https://hal.archives-ouvertes.fr/hal-00140144

B. [. Hansson and . Jonsson, A framework for reasoning about time and reliability, [1989] Proceedings. Real-Time Systems Symposium, pp.102-111, 1989.
DOI : 10.1109/REAL.1989.63561

M. [. Høyland and . Rausand, System reliability theory: Models and statistical methods, 1994.

J. Raclet, Residual for Component Specifications, Electronic Notes in Theoretical Computer Science, vol.215, pp.93-110, 2008.
DOI : 10.1016/j.entcs.2008.06.023
URL : https://hal.archives-ouvertes.fr/inria-00141898

J. [. Sinnamon and . Andrews, Fault tree analysis and binary decision diagrams, Proceedings of 1996 Annual Reliability and Maintainability Symposium, pp.215-222, 1996.
DOI : 10.1109/RAMS.1996.500665