Quantitive Safety Analysis