Methodology for Formal Verification of Hardware Safety Strategies Using SMT. - Anthony Faure-Gignoux; Kevin Delmas; Adrien Gauffriau; Claire Pagetti (IEEE Embed. Syst. Lett., 2024)