Safety assessment with AltaRica - Lessons learnt based on two aircraft system studies. - Pierre Bieber; Christian Bougnol; Charles Castel; Jean-Pierre Heckmann; Christophe Kehren; Sylvain Metge; Christel Seguin (IFIP Congress Topical Sessions, 2004)

Motifs formels d'architectures de systèmes pour la sûreté de fonctionnement. (Systems architectures formal safety patterns). - Christophe Kehren (2005)