R. Alur, T. A. Henzinger, and M. Y. Vardi, Parametric real-time reasoning, Proceedings of the twenty-fifth annual ACM symposium on Theory of computing, pp.592-601, 1993.

C. Dehnert, S. Junges, N. Jansen, F. Corzilius, M. Volk et al., Prophesy: A probabilistic parameter synthesis tool

, International Conference on Computer Aided Verification, vol.9207, pp.214-231, 2015.

E. M. Hahn, H. Hermanns, B. Wachter, and L. Zhang, PARAM: A model checker for parametric Markov models, International Conference on Computer Aided Verification, vol.6174, pp.660-664, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00650737

A. Bart, B. Delahaye, D. Lime, E. Monfroy, and C. Truchet, Reachability in parametric interval Markov chains using constraints, International Conference on Quantitative Evaluation of Systems, vol.10503, pp.173-189, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01529681

B. Delahaye, D. Lime, and L. Petrucci, Parameter synthesis for parametric interval Markov chains, International Conference on Verification, Model Checking, and Abstract Interpretation, vol.9583, pp.372-390, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01219823

D. Henriques, J. Martins, P. Zuliani, A. Platzer, and E. M. Clarke, Statistical model checking for markov decision processes, International Conference on Quantitative Evaluation of Systems, pp.84-93, 2012.

C. Baier, J. P. Katoen, and K. G. Larsen, Principles of model checking, 2008.

S. Ross, A first course in probability, 2009.

E. M. Hahn, H. Hermanns, B. Wachter, and L. Zhang, Param: A model checker for parametric markov models, International Conference on Computer Aided Verification, pp.660-664, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00650737

M. K. Reiter and A. D. Rubin, Crowds: Anonymity for web transactions, ACM transactions on information and system security (TISSEC), vol.1, issue.1, pp.66-92, 1998.

V. Shmatikov, Probabilistic model checking of an anonymity system, Journal of Computer Security, vol.12, issue.3/4, pp.355-377, 2004.