. Arlat, Fault Injection and Dependability Evaluation of Fault-Tolerant Systems, IEEE Trans. on Computers, vol.42, issue.8, pp.913-936, 1993.

[. Bondavalli, Analytical Modeling and Evaluation of Phased Mission Systems in space Applications, 2nd IEEE High Assurance System Engineering Workshop (HASE), pp.85-91, 1997.

[. Bondavalli, Dependability Modeling and Sensitivity Analysis of Scheduled Maintenance Systems, 3rd European Dependable Computing Conference (EDCC-3), pp.7-23, 1999.

;. M. Buckley-&-siewiorek, D. P. Buckley, and . Siewiorek, VAX/VMS Event Monitoring and Analysis, Proc. 25th Int'l Symposium on FaultTolerant Computing (FTCS-25), pp.414-437, 1995.

, Techniques d'analyse de la fiabilité des systèmes-Procédure d'Analyse des Modes de Défaillance et de leurs Effets (AMDE), Commission Électrotechnique Internationale (CEI), Rapport de Normalisation N°812, 1985.

[. Chillarege, An Operational Availability of a Large SoftwareBased Telecommunications System, 25th IEEE International Symposium On Fault Tolerant Computing (FTCS25), pp.358-66, 1992.

. Donnelly, Best Current Practice: Software Reliability Engineering, pp.45370-930326, 1992.

. Essamé, Dependability Evaluation of an Air Traffic Control Computing System, 7th Workshop on Future Trends of Distributed Computing Systems (FTDCS'97), vol.35, pp.553-73, 1997.

. Fota, Incremental Approach for Building Stochastic Petri Nets for Dependability Modeling, Statistical and Probabilistic Models in Reliability, pp.321-356, 1999.

[. Grable, Metrics for Small Projects: Experiences at the SED, IEEE Trans. on Reliability, R, vol.39, issue.4, pp.409-427, 1985.

C. Hourtolle, Conception de logiciels surs de fonctionnement : analyse de la sureté des logiciels-mécanismes de décision pour la programmation en N-versions, INP, 1987.

[. Kaâniche, Failure Analysis and Validation of a Telecommunication Equipment Software System, Annales des Telecommunications, vol.45, pp.657-70, 1990.

[. Kaâniche, Dependability of Fault-Tolerant Systems-Explicit Modeling of the Interactions between Hardware and Software Components, IEEE Inter. Computer Performance & Dependability Symposium (IPDS'96), vol.852, pp.252-61, 1994.

J. Kanoun-&-laprie-;-]-k.-kanoun, ;. Laprie, and . Kanoun, A Measurement-Based Framework for Software Reliability Improvement, Handbook of Software Reliability Engineering, vol.11, pp.89-106, 1996.

[. Kanoun, Modeling the Dependability of CAUTRA, a Subset of the French Air Traffic Control System, IEEE Transactions on Computers, vol.14, issue.2, pp.528-563, 1997.

K. Kautz, Making Sense of Measurement for Small organizations, IEEE Software, pp.14-20, 1999.

M. G. Kendall, The Advanced Theory of Statistics, 1977.

;. G. Kenney-&-vouk, M. A. Kenney, and . Vouk, Measuring the Field Quality of Wide-Distribution Commercial Software, 3rd IEEE Int. Symposium on Software Reliability Engineering (ISSRE'92), pp.351-358, 1992.

J. Laprie, ;. Laprie, J. Arlat, J. Blanquart, A. Costes et al., English version of "Guide de la sûreté de fonctionnement, 25th International Symposium on Fault-Tolerant Computing, vol.98346, pp.42-53, 1995.

Y. Levendel, Reliability Analysis of Large Software Systems: Defects Data Modeling, IEEE Transactions on Software Engineering, SE, vol.16, issue.2, pp.141-52, 1990.

. Leveson, Safety Verification of ADA Programs Using Software Fault Trees, IEEE Software, issue.7, pp.48-59, 1991.

M. R. Lyu, Handbook of Software Reliability Engineering, 1995.

;. J. Meyer-&-sanders, W. H. Meyer, ;. Sanders, P. Moran, J. Gaffney et al., Specification and Construction of Performability Models, Int. Workshop on Performability Modeling of Computer and Communication Systems, vol.39, pp.480-485, 1990.

[. Muppala, 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.

;. B. Murphy-&-levidow, B. Murphy, and . Levidow, Windows 2000 Dependability, Workshop on Dependable Networks and Operating Systems, at the Int'l Conference on Dependable Systems and Networks (DSN-2000), pp.20-28, 2000.

J. Musa and . Musa, Dependability Evaluation of a Distributed Shared Memory Multiprocessor System, Computer Science Series, pp.49-57, 1987.

I. Rojas, Compositional Construction of SWN Models, The Computer Journal, vol.38, issue.7, pp.612-633, 1996.

. Santonja, Dependability Models of RAID Using Stochastic Activity Networks, 2nd European Dependable Computing Conference (EDCC-2), pp.141-58, 1996.

;. A. Thakur-&-iyer, R. K. Thakur, . S. Iyer-;-k, B. R. Trivedi, A. Haverkort et al., AnalyzeNOW-An Environment for Collection & Analysis of Failures in a Network of Workstations, Proc. 7th Int'l Conf. on Techniques and Tools for Computer Performance Evaluation, vol.45, pp.41-49, 1994.