1. Aziz, A., Sanwal, K., Singhal, V., Brayton, R.K.: Verifying continuous-time Markov chains (1996)
2. Alur, R., de Alfaro, L., Grosu, R., Henzinger, T.A., Kang, M., Kirsch, C.M., Majumdar, R., Mang, F., Wang, B.Y.: jMocha: A model checking tool that exploits design structure. In: Proceedings of the 23rd international conference on Software engineering, pp. 835–836. IEEE Computer Society, Los Alamitos (2001)
3. Alur, R., Henzinger, T.A.: Reactive modules. Formal Methods in System Design 15(1), 7–48 (1999)
4. Lecture Notes in Computer Science;C. Baier,2004
5. Lecture Notes in Computer Science;L. Brim,2001