Giacomo Bucci R. Piovosi Luigi Sassoli Enrico Vicario Introducing Probability within State Class Analysis of Dense-Time-Dependent Systems. 13-22 2005 conf/qest/2005 QEST http://doi.ieeecomputersociety.org/10.1109/QEST.2005.17 db/conf/qest/qest2005.html#BucciPSV05