for PEPA Models -- Functional Performance Specification with Stochastic Probes --