Unified specification and performance evaluation using stochastic process algebras