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 , STOC '93, pp.592-601, 1993.
DOI : 10.1145/167088.167242
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.112.3317

C. Baier and J. P. Katoen, Principles of Model Checking (Representation and Mind Series), 2008.

C. Barrett, P. Fontaine, and C. Tinelli, The Satisfiability Modulo Theories Library (SMT-LIB). www, 2016.

M. Benedikt, R. Lenhardt, and J. Worrell, LTL Model Checking of Interval Markov Chains, International Conference on Tools and Algorithms for the Construction and Analysis of Systems, pp.32-46, 2013.
DOI : 10.1007/978-3-642-36742-7_3

G. Cantor, Ueber unendliche, lineare Punktmannichfaltigkeiten, Mathematische Annalen, vol.21, issue.4, pp.545-591, 1883.
DOI : 10.1007/BF01446819

D. Moura, L. Bjørner, and N. , Z3: An Efficient SMT Solver, pp.337-340, 2008.
DOI : 10.1007/978-3-540-78800-3_24

C. Dehnert, S. Junges, N. Jansen, F. Corzilius, M. Volk et al., PROPhESY: A PRObabilistic ParamEter SYnthesis Tool, pp.214-231, 2015.
DOI : 10.1007/978-3-319-21690-4_13

B. Delahaye, Consistency for parametric interval Markov chains, pp.17-32, 2015.
DOI : 10.1007/978-3-662-49122-5_18
URL : https://hal.archives-ouvertes.fr/hal-01140752

B. Delahaye, D. Lime, and L. Petrucci, Parameter Synthesis for Parametric Interval Markov Chains, pp.372-390, 2016.
DOI : 10.1007/978-3-662-49122-5_18
URL : https://hal.archives-ouvertes.fr/hal-01219823

M. Gribaudo, D. Manini, and A. Remke, Model Checking of Open Interval Markov Chains, 2015.

E. M. Hahn, H. Hermanns, B. Wachter, and L. Zhang, PARAM: A Model Checker for Parametric Markov Models, CAV. LNCS, 2010.
DOI : 10.1007/978-3-642-14295-6_56
URL : https://hal.archives-ouvertes.fr/hal-00650737

D. Husmeier, R. Dybowski, and S. Roberts, Probabilistic Modeling in Bioinformatics and Medical Informatics, 2010.
DOI : 10.1007/b138794

B. Jonsson and K. G. Larsen, Specification and refinement of probabilistic processes, [1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science, pp.266-277, 1991.
DOI : 10.1109/LICS.1991.151651

M. Z. Kwiatkowska, G. Norman, and D. Parker, PRISM 4.0: Verification of Probabilistic Real-Time Systems, CAV. LNCS, pp.585-591, 2011.
DOI : 10.1007/3-540-45657-0_17
URL : https://hal.archives-ouvertes.fr/hal-00648035

G. Norman, D. Parker, M. Kwiatkowska, and S. Shukla, Evaluating the reliability of NAND multiplexing with PRISM, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol.24, issue.10, pp.1629-1637, 2005.
DOI : 10.1109/TCAD.2005.852033

A. Puggelli, W. Li, A. L. Sangiovanni-vincentelli, and S. A. Seshia, Polynomial-Time Verification of PCTL Properties of MDPs with Convex Uncertainties, pp.527-542, 2013.
DOI : 10.1007/978-3-642-39799-8_35

F. Rossi, P. V. Beek, and T. Walsh, Handbook of Constraint Programming (Foundations of Artificial Intelligence), 2006.

J. A. Whittaker and M. G. Thomason, A Markov chain model for statistical software testing, IEEE Transactions on Software Engineering, vol.20, issue.10, pp.812-824, 1994.
DOI : 10.1109/32.328991
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.468.5108

T. Wongpiromsarn, U. Topcu, N. Ozay, H. Xu, and R. M. Murray, TuLiP, Proceedings of the 14th international conference on Hybrid systems: computation and control, HSCC '11, 2011.
DOI : 10.1145/1967701.1967747