Formulas of the Probabilistic Metric for Random Hardware Failures to Resolve a Dilemma in ISO 26262 | IEEE Conference Publication | IEEE Xplore