Compiler-Directed Soft Error Mitigation for Embedded Systems | Publicación