A Quantitative Approach to SoC Functional Safety Analysis. - Shivakumar Chonnad; Radu Iacob; Vladimir Litovtchenko (SoCC, 2018)