Expressing performance requirements using regular expressions to specify stochastic probes over process algebra models