Formal Assisted Fault Campaign for ISO26262 Certification