Fang, Calinescu, Paterson, Wilson, 2022. PRESTO: Predicting System-level Disruptions through Parametric Model Checking.