Testing timed systems modeled by Stream X-machines | Publicación