H. H. Ammar, Y. F. Huang, and R. W. Liu, Hierarchical Models for Systems Reliability, Maintainability, and Availability, IEEE Trans. on Circuits and Syst, vol.34, issue.6, pp.629-667, 1987.

G. Balbo, On the Success of Stochastic Petri Nets, 6th International Workshop on Petri Nets and Performance Models, pp.2-9, 1995.

C. Béounes, M. Aguéra, J. Arlat, S. Bachman, C. Bourdeau et al., SURF-2: A Program for Dependability Evaluation of Complex Hardware and Software systems, 23rd IEEE Int. Symp. Fault-Tolerant Computing, pp.668-73, 1993.

M. Borrel, Interactions between Hardware and Software Components: Characterization, Formalization and Modeling-Application to CAUTRA Dependability, PhD Dissertation, pp.96-97, 1996.

A. Costes, C. Landrault, and J. Laprie, Reliability and Availability Models for Maintained Systems Featuring Hardware Failures and Design Faults, IEEE Trans. on Computers, C, vol.27, issue.6, pp.548-60, 1978.

J. B. Dugan and M. Lyu, System-level Reliability and Sensitivity Analysis for Three Fault-tolerant Architectures, 4th IFIP Int. Conference on Dependable Computing for Critical Applications, pp.295-307, 1994.

W. R. Elmendorf, Fault-tolerant Programming, 2nd IEEE Int Symp. Fault-Tolerant Computing, pp.79-83, 1972.

J. Gray, Why Do Computers Stop and What Can be Done About it ?, 5th Int. Symp. on Reliability in Distributed Software and Database Systems, pp.3-12, 1986.

K. Kanoun, M. Borrel, T. Moreteveille, and A. Peytavin, Modeling the Dependability of CAUTRA, a Subset of the French Air Traffic Control System, 26th Int. Symp. Fault-Tolerant Computing (FTCS-26), pp.95-515, 1996.

J. Laprie, Trustable Evaluation of Computer Systems Dependability, Applied Mathematics and Performance/Reliability Models of Computer/ Communication Systems, pp.341-60, 1983.

, Dependability: Basic Concepts and Terminology, Dependable Computing and Fault-Tolerant Systems, 5, 265 p, 1992.

J. Laprie, On The Temporary Character of Operation-persistent Software Faults, 4th Int. Symp. on Software Reliability Engineering, p.125, 1993.

J. Laprie and K. Kanoun, X-ware Reliability and Availability Modeling, IEEE Trans. on Software Engineering, SE, vol.18, issue.2, pp.130-177, 1992.
URL : https://hal.archives-ouvertes.fr/hal-01979370

J. Laprie, K. Kanoun, C. Béounes, and M. Kaâniche, The KAT (Knowledge-Action-Transformation)

, Approach to the Modeling and Evaluation of Reliability and Availability Growth, IEEE Trans. Software Engineering, SE, vol.17, issue.4, pp.370-82, 1991.

J. K. Muppala, A. Sathaye, R. Howe, and K. S. Trivedi, Dependability Modeling of a Heterogeneous VAX-cluster System Using Stochastic Reward Nets, Hardware and Software Fault Tolerance in Parallel Computing Systems, pp.33-59, 1992.

P. I. , An Analysis of Hardware and Software Availability Exemplified on the IBM-3725

, IBM Journal of Research and Development, vol.32, issue.2, pp.268-78, 1988.

D. Powell, Distributed Fault Tolerance: Lessons from Delta-4, IEEE Micro, vol.14, issue.1, pp.36-47, 1994.

W. Sanders and J. Meyer, Reduced Base Model Construction Methods for Stochastic Activity Networks, IEEE Trans. on Selected Areas in Communications, vol.9, issue.1, pp.25-36, 1991.

D. P. Siewiorek and R. S. Swarz, The Theory and Practice of Reliable System Design, 1992.

G. E. Stark, Dependability Evaluation of Integrated Hardware/Software Systems, IEEE Trans. on Reliability, R, vol.36, issue.4, pp.440-444, 1987.