Fixed-Point Methods in Parametric Model Checking