Text this: PARAM: A Model Checker for Parametric Markov Models