1. Baier, C., Katoen, J.-P.: Principles of Model Checking. The MIT Press (2008)
2. Lecture Notes in Computer Science;M. Bernardo,2000
3. Lecture Notes in Computer Science;K. Chatterjee,2009
4. Deng, Y., Hennessy, M.: Compositional reasoning for Markov decision processes (full version) (2010),
http://basics.sjtu.edu.cn/~yuxin/temp/mdp.pdf
5. Lecture Notes in Computer Science;Y. Deng,2009