Combining Fault Analysis Technologies for ISO26262 Functional Safety Verification