Formal Fault Propagation Analysis that Scales to Modern Automotive SoCs Author(s): Sergio Marchese and Jörg Grosse Download