*. S. White, J. Rozenblit, and B. Melhart, Engineering of Computer-Based Systems : Current Status and Technical Activities, Computer, pp.100-101, 1995.

J. Gray and D. P. Siewiorek, High-availability computer systems, Computer, vol.24, issue.9, pp.39-48, 1991.
DOI : 10.1109/2.84898
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.186.9204

G. and L. Lann, Certifiable Critical Complex Computing Systems, 13th IFIP World Computer Congress, pp.287-294, 1994.

G. and L. Lann, A methodology for designing and dimensioning critical complex computing systems, Proceedings IEEE Symposium and Workshop on Engineering of Computer-Based Systems, pp.11-15, 1996.
DOI : 10.1109/ECBS.1996.494546

I. Project and R. Genie, Etude de la Tolérance aux Fautes pour la Fonction Trains-Trappes d'un Système Atterrisseur, 1996.

I. Project and R. , Méthode TRDF et Sécurité des Centrales Nucléaires, 1996.

P. A. Bernstein, V. Hadzilacos, and N. Goodman, Concurrency Control and Recovery in Database Systems, 1987.

L. Lamport, R. Shostak, and M. Pease, The Byzantine Generals Problem, ACM Transactions on Programming Languages and Systems, vol.4, issue.3, pp.382-401, 1982.
DOI : 10.1145/357172.357176

J. Rushby, Formal Methods and the Certification of Critical Systems, 1993.

I. Unité-de-recherche, . Lorraine, V. Technopôle-de-nancy-brabois, I. Unité-de-recherche, . Rennes et al., 615 rue du jardin botanique 35042 RENNES Cedex Unité de recherche INRIA Rhône-Alpes, 1655, avenue de l'Europe, 38330 MONTBONNOT ST MARTIN Unité de recherche INRIA Rocquencourt, 2004.