Assisting Fault Injection Simulations for Functional Safety Sign-off using Formal