Formal Testing of Timed and Probabilistic Systems | Publicación