Testing from a stochastic timed system with a fault model | Publicación