Formal Fault Propagation Analysis that Scales to Modern Automotive SoCs