Storm 4.0: Quantitative Modeling for Decision Support