Discrete real-time and stochastic-time process algebra for performance analysis of distributed systems | IEEE Conference Publication | IEEE Xplore