Markovski, Vink, 2007. Real-Time Process Algebra with Stochastic Delays, in: . IEEE.. https://doi.org/10.1109/acsd.2007.23