Quantitative Risk Modeling and Analysis