Automatic insertion of fault-tolerant structures at the RT level | Publicación