Supporting the Extraction of Timed Properties for Passive Testing by Using Probabilistic User Models | Publicación