Towards Testing Stochastic Timed Systems | Publicación