Introducing Probability within State Class Analysis of Dense-Time-Dependent Systems. - Giacomo Bucci; R. Piovosi; Luigi Sassoli; Enrico Vicario (QEST, 2005)