1. CNSC Fukushima Task Force Report, Technical Report INFO-0824, Canadian Nuclear Safety Commission, 2011.
2. Basic concepts and taxonomy of dependable and secure computing;Avizienis;IEEE Trans. Dependable Secure Comput.,2004
3. Fault injection experiments using fiat;Barton;IEEE Trans. Comput.,1990
4. Software Testing Techniques;Beizer,2003
5. Using fault injection to increase software test coverage;Bieman,1996