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)