Fault injection for dependability validation: a methodology and some applications | IEEE Journals & Magazine | IEEE Xplore