CSL^TA: an Expressive Logic for Continuous-Time Markov Chains | IEEE Conference Publication | IEEE Xplore