Parametric Verification of Weighted Systems