Dual-Core Lockstep enhanced with redundant multithread support and control-flow error detection | Publicación