Parametric Probabilistic Transition Systems for System Design and Analysis