Real and stochastic time in process algebras for performance evaluation by J. Markovski