Quantifying Safety Integrity