Fault Injection for Dependability Validation: A Methodology and Some Applications. - Jean Arlat; Martine Aguera; Louis Amat; Yves Crouzet; Jean-Charles Fabre; Jean-Claude Laprie; Eliane Martins; David Powell (IEEE Trans. Software Eng., 1990)

SURF-2: A Program for Dependability Evaluation of Complex Hardware and Software Systems. - C. Béoumes; Karama Kanoun; Martine Aguera; Jean-Claude Laprie; Jean Arlat; Sylvain Metge; S. Bachmann; Jorge Moreira de Souza; C. Bourdeau; David Powell; J.-E. Doucet; P. Spiesser (FTCS, 1993)