R. Lanotte, A. Maggiolo-schettini, and A. Troina, Parametric probabilistic transition systems for system design and analysis, Formal Aspects of Computing, vol.176, issue.1, pp.93-109, 2007.
DOI : 10.1007/s00165-006-0015-2

E. M. Hahn, H. Hermanns, and L. Zhang, Probabilistic reachability for parametric Markov models, ) SPIN. LNCS, pp.88-106, 2009.

E. M. Hahn, H. Hermanns, and L. Zhang, Probabilistic reachability for parametric Markov models, STTT, 2010.

M. K. Reiter and A. D. Rubin, Crowds: anonymity for Web transactions, ACM Transactions on Information and System Security, vol.1, issue.1, pp.66-92, 1998.
DOI : 10.1145/290163.290168

V. Shmatikov, Probabilistic analysis of an anonymity system, Journal of Computer Security, vol.12, issue.3-4, pp.355-377, 2004.
DOI : 10.3233/JCS-2004-123-403

A. Hinton, M. Z. Kwiatkowska, G. Norman, and D. Parker, PRISM: A Tool for Automatic Verification of Probabilistic Systems, TACAS 2006, pp.441-444, 2006.
DOI : 10.1007/11691372_29

C. Daws, Symbolic and Parametric Model Checking of Discrete-Time Markov Chains, ICTAC 2004, pp.280-294, 2005.
DOI : 10.1007/978-3-540-31862-0_21

J. E. Hopcroft, R. Motwani, and J. D. Ullman, Introduction to automata theory, languages , and computation, SIGACT News, pp.60-65, 2001.

S. Derisavi, H. Hermanns, and W. H. Sanders, Optimal state-space lumping in Markov chains, Information Processing Letters, vol.87, issue.6, pp.309-315, 2003.
DOI : 10.1016/S0020-0190(03)00343-0

C. Baier and H. Hermanns, Weak bisimulation for fully probabilistic processes, CAV 1997, pp.119-130, 1997.
DOI : 10.1007/3-540-63166-6_14

G. Holzmann, The model checker SPIN, IEEE Transactions on Software Engineering, vol.23, issue.5, 2003.
DOI : 10.1109/32.588521

J. Abbott, The Design of CoCoALib, ICMS 2006, pp.205-215, 2006.
DOI : 10.1007/11832225_18

S. Derisavi, Signature-based Symbolic Algorithm for Optimal Markov Chain Lumping, Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007), pp.141-150, 2007.
DOI : 10.1109/QEST.2007.27