J. R. , B : passé, présent, futur, Technique et science informatiques, vol.22, pp.89-118, 1993.

. Ahern, , 2001.

;. D. Brière-&-traverse, P. Brière, and . Traverse, Airbus A/320/A330/A340 electrical flight controls-A family of fault-tolerant systems, Proc. 23rd IEEE Int. Symp. on Fault-Tolerant Computing (FTCS-23), pp.616-623, 1993.

;. R. Butler-&-finelli, G. B. Butler, and . Finelli, The infeasibility of quantifying the reliability of life-critical real-time software, IEEE Trans. on Software Engineering, vol.19, issue.1, pp.3-12, 1993.

;. P. Cousot-&-cousot, R. Cousot, and . Cousot, Basic concepts of abstract interpretation, Proc. of the 18th IFIP World Computer Congress, pp.359-366, 2004.

. Craigen, An international survey of industrial applications of formal methods, 1993.

;. M. Diaz-&-siglio, J. Diaz, and . Siglio, How software process improvement helped Motorola, IEEE Software, vol.14, issue.5, pp.75-81, 1997.

. Dollé, B dans le transport ferroviaire. l'expérience de Siemens Transportation Systems, Technique et science informatiques, vol.22, pp.11-32, 1993.

. Donnelly, Best current practices: Software reliability engineering, 1992.

;. R. Grady and . Grady, Practical Software Metrics for Project Management and Process Improvement, Software Engineering Metrics, 1992.

J. Gray, A census of Tandem system availability between 1985 and 1990, IEEE Trans. on Reliability, vol.39, issue.4, pp.409-418, 1990.

;. Y. Huang-&-kintala, C. Huang, and . Kintala, Software fault tolerance in the application layer, Software Fault Tolerance, 1995.

J. Johnson, Chaos: the dollar drain of IT project failures, Johnson, pp.41-47, 1995.

. Kalakech, Benchmarking the Dependability of Windows NT, 2000 and XP, Proc. 2004 Int. Conf. on Dependable Systems and Networks, pp.681-686, 2004.
URL : https://hal.archives-ouvertes.fr/hal-01962911

;. H. Kantz-&-koza, C. Kantz, and . Koza, The ELEKTRA Railway Signalling-System: Field Experience with an Actively Replicated System with Diversity, Proc. 25th Int. Symp. on Fault-Tolerant Computing (FTCS-25), pp.453-458, 1995.

. Laprie, Definition and analysis of hardware-and software-fault-tolerant architectures, IEEE Computer, vol.23, issue.7, pp.39-51, 1990.
URL : https://hal.archives-ouvertes.fr/hal-01982552

, Software Reliability Engineering, 1995.

. Paulk, Capability maturity model for software, 1993.
DOI : 10.1002/0471028959.sof589

. Rodriguez, Wrapping real-time systems from temporal logic specifications, Proc. 4th European Dependable Computing Conference (EDCC-4), pp.253-270, 2002.

, Vérification de logiciels-Techniques et outils du model-checking, Vuibert, 1999.

. Voas, Predicting How Badly "Good" Software Can Behave, IEEE Software, pp.73-83, 1997.
DOI : 10.1109/52.595959

;. M. Xie and . Xie, Software Reliability Modeling, 1991.