1. Alur, R., Courcoubetis, C., Halbwachs, N., Henzinger, T.A., Ho, P.-H., Nicollin, X., Olivero, A., Sifakis, J., Yovine, S.: The algorithmic analysis of hybrid systems. Journal Theoretical Computer Science 138 (1995)
2. Blute, R., Desharnais, J., Edalat, A., Panangaden, P.: Bisimulation for labelled Markov processes. In: Proc. of the Twelfth IEEE Symposium on Logic in Computer Science, Warsaw, Poland (1997)
3. Bouchard-Cote, A., Ferns, N., Panangaden, P., Precup, D.: An approximation algorithm for labelled Markov processes: towards realistic approximation. In: QEST 2005: Proc. of the Second International Conference on the Quantitative Evaluation of Systems, p. 54. IEEE Computer Society, Washington (2005)
4. Lecture Notes in Computer Science;F. Breugel van,2007
5. Lecture Notes in Computer Science;S. Cattani,2005