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