Manuel Núñez Formal Testing of Timed and Probabilistic Systems. 9-14 2011 ICTSS http://dx.doi.org/10.1007/978-3-642-24580-0_2 conf/pts/2011 db/conf/pts/ictss2011.html#Nunez11