Probabilistic Model Checking of the PDGF Signaling Pathway⋆