Jasen Markovski, Erik P. de Vink. Embedding Real Time in Stochastic Process Algebras. In András Horváth, Miklós Telek, editors, Formal Methods and Stochastic Models for Performance Evaluation, Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006, Proceedings. Volume 4054 of Lecture Notes in Computer Science, pages 47-62, Springer, 2006. [doi]