Susanna Donatelli Serge Haddad Jeremy Sproston CSL<sup>TA</sup>: an Expressive Logic for Continuous-Time Markov Chains. 31-40 2007 QEST http://doi.ieeecomputersociety.org/10.1109/QEST.2007.14 conf/qest/2007 db/conf/qest/qest2007.html#DonatelliHS07