Probabilistic Risk Analysis: Foundations and Methods