1. Aziz, A., Sanwal, K., Singhal, V., Brayton, R.: Model Checking Continuous Time Markov Chains. ACM Trans. on Comp. Logic 1(1), 162–170 (2000)
2. Baier, C., Haverkort, B., Hermanns, H., Katoen, J.P.: Model-Checking Algorithms for Continuous Markov Chains. IEEE Transactions on Software Engineering 29(6) (June 2003)
3. Ben Mamoun, M., Pekergin, N., Younès, S.: Model Checking of Continuous Time Markov Chains by Closed-Form Bounding Distributions. In: Qest 2006 (2006)
4. Castel-Taleb, H., Mokdad, L., Pekergin, N.: Model Checking of steady-state rewards using bounding aggregations. In: 2008 International Symposium on Performance Evaluation of Computer and Telecommunication Systems, SPECTS 2008, Edinburgh, UK, June 16-18 (2008)
5. Castel-Taleb, H., Pekergin, N.: Stochastic monotonicity in queueing networks (submitted)