Quantitative Safety Analysis