Title: Case Studies in Certified Quantitative Risk Management