Model Checking of Continuous-Time Markov Chains by Closed-Form Bounding Distributions | IEEE Conference Publication | IEEE Xplore