Assisting Fault Injection Simulations for Functional Safety Sign-off using Formal Author(s): Pulicharla Ravindrareddy Type: Paper Download