Extending Stream X-Machines to Specify and Test Systems with Timeouts | Publicación