Passive Testing of Stochastic Timed Systems | Publicación