Experimentally evaluating an automatic approach for generating safety-critical software with respect to transient errors | IEEE Journals & Magazine | IEEE Xplore