Probabilistic risk analysis