Analyzing a Proxy Cache Server Performance Model with the Probabilistic Model Checker PRISM ?