R. Alur and T. Henzinger, Reactive modules. Formal Methods in System Design, pp.7-48, 1999.

A. Aziz, K. Sanwal, V. Singhal, and R. Brayton, Verifying continuous time Markov chains, Proc. CAV'96, pp.269-276, 1996.
DOI : 10.1007/3-540-61474-5_75

I. Bahar, E. Frohm, C. Gaona, G. Hachtel, E. Macii et al., Algebraic decision diagrams and their applications. Formal Methods in System Design, pp.171-206, 1997.

C. Baier, B. Haverkort, H. Hermanns, and J. Katoen, On the Logical Characterisation of Performability Properties, Proc. ICALP'00, pp.780-792, 2000.
DOI : 10.1007/3-540-45022-X_65

C. Baier, B. Haverkort, H. Hermanns, and J. Katoen, Model-checking algorithms for continuous-time markov chains, IEEE Transactions on Software Engineering, vol.29, issue.6, pp.524-541, 2003.
DOI : 10.1109/TSE.2003.1205180

C. Baier, J. Katoen, and H. Hermanns, Approximate symbolic model checking of continuous-time Markov chains, Proc. CONCUR'99, pp.146-161, 1999.

E. Clarke, M. Fujita, P. Mcgeer, K. Mcmillan, J. Yang et al., Multi-terminal binary decision diagrams: An efficient data structure for matrix representation. Formal Methods in System Design, pp.10149-169, 1997.

E. Clarke, O. Grumberg, and D. Peled, Model Checking, 1999.

H. Hansson and B. Jonsson, A logic for reasoning about time and reliability, Formal Aspects of Computing, vol.2, issue.1, pp.512-535, 1994.
DOI : 10.1007/BF01211866

V. Kulkarni, Modeling and Analysis of Stochastic Systems, 1995.

M. Kwiatkowska, G. Norman, and D. Parker, Probabilistic symbolic model checking with PRISM: a hybrid approach, International Journal on Software Tools for Technology Transfer, vol.24, issue.2, pp.128-142, 2004.
DOI : 10.1007/s10009-004-0140-2

M. Kwiatkowska, G. Norman, and D. Parker, Controller dependability analysis by probabilistic model checking, Control Engineering Practice, vol.15, issue.11, pp.1427-1434, 2006.
DOI : 10.1016/j.conengprac.2006.07.003

M. Kwiatkowska, G. Norman, and D. Parker, Stochastic Model Checking, Formal Methods for the Design of Computer, Communication and Software Systems: Performance Evaluation (SFM'07), pp.220-270, 2007.
DOI : 10.1007/978-3-540-72522-0_6

J. Muppala, G. Ciardo, and K. Trivedi, Stochastic reward nets for reliability prediction, Communications in Reliability, Maintainability and Serviceability, vol.1, issue.2, pp.9-20, 1994.

D. Parker, Implementation of Symbolic Model Checking for Probabilistic Systems, 2002.

W. J. Stewart, Introduction to the Numerical Solution of Markov Chains, 1994.