Formal Verification of Fault-Tolerant Hardware Designs - Entrena Arrontes, Luis Alfonso; Sanchez Clemente, Antonio Jose; Garcia Astudillo, Luis Angel; Portela Garcia, Marta; Garcia Valderas, Mario; Lindoso Muñoz, Almudena (IEEE Access, 2023)