Model Checking Timed and Stochastic Properties with CSL^{TA}.

Susanna Donatelli Serge Haddad Jeremy Sproston Model Checking Timed and Stochastic Properties with CSL^{TA}. 224-240 2009 35 IEEE Trans. Software Eng. 2 http://dx.doi.org/10.1109/TSE.2008.108 db/journals/tse/tse35.html#DonatelliHS09