Extending Timed Process Algebra with Discrete Stochastic Time. - Markovski, Jasen; Vink, Erik P. de (2008)