SafeLS: An Open Source Implementation of a Lockstep NOEL-V RISC-V Core | Publicación