PRESTO: Predicting System-level Disruptions through Parametric Model Checking