Embedding Real Time in Stochastic Process Algebras -- Workloads and Benchmarks --