Formal Fault Propagation Analysis that Scales to Modern Automotive SoCs

Author(s):
Sergio Marchese and Jörg Grosse