A tool supported methodology to passively test asynchronous systems with multiple users | Publicación