Testing Finite State Machines Presenting Stochastic Time and Timeouts | Publicación