1. S. Ayache, P. Humbert, E. Conquet et al., “Formal Methods for the Validation of Fault Tolerance in Autonomous Spacecraft”, 26th Int. Symp. on Fault-Tolerant Computing (FTCS-26), (Sendai, Japan), pp. 353–357, IEEE Computer Society, 1996.
2. J. Boué, P. Pétillon, Y. Crouzet, “MEFISTO-L: A VHDL-based Fault Injection Tool for the Experimental Assessment of Fault Tolerance”, 28th Int. Symp. on Fault-Tolerant Computing (FTCS-28), (Munich, Germany), pp. 168–173, IEEE Computer Society, 1998.
3. J. A. Clark, D. K. Pradhan, “REACT: A Synthesis and Evaluation Tool for Fault-Tolerant Microprocessor Architectures”, Annual Reliability & Maintainability Symp., pp. 428–435, IEEE Computer Society, 1993.
4. R. A. De Millo, R. J. Lipton, F. G. Sayward, “Hints on Test Data Selection: Help for the Practicing Programmer”, IEEE Computer Magazine, vol. 11, pp. 34–41, 1978.
5. A. Ghosh, B. W. Johnson, J. A. Profeta III, “System-Level Modeling in the ADEPT Environment of a Distributed Computer System for Real-Time Applications”, 1
st
International Computer Performance and Dependability Symposium (IPDS’95), (Erlangen, Germany), pp. 194–203, IEEE Computer Society, 1995.