Statistics for Tolérance aux fautes des systèmes temps-réel embarqués basée sur la redondance. Magister thesis, (2011) Université de Batna 2.