Testing conformance on Stochastic Stream X-Machines | Publicación