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