Discrete real-time and stochastic-time process algebra for performance analysis of distributed systems