Passive Testing of Timed Systems with Timeouts | Publicación