A compiler-based infrastructure for fault-tolerant co-design | Publicación