Passive testing of communicating systems with timeouts | Publicación