R. Bagnara, P. M. Hill, and E. Zaffanella, The Parma Polyhedra Library: Toward a complete set of numerical abstractions for the analysis and verification of hardware and software systems, Science of Computer Programming, vol.72, issue.1-2, pp.3-21, 2008.
DOI : 10.1016/j.scico.2007.08.001

A. Bart, B. Delahaye, D. Lime, E. Monfroy, and C. Truchet, Reachability in Parametric Interval Markov Chains Using Constraints, Quantitative Evaluation of Systems (QEST'17), pp.173-189, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01529681

J. A. Bergstra and J. W. Klop, The algebra of recursively defined processes and the algebra of regular processes, ICALP'84, pp.82-94, 1984.

M. Ceska, P. Pilar, N. Paoletti, L. Brim, and M. Z. Kwiatkowska, PRISM- PSY: precise GPU-accelerated parameter synthesis for stochastic systems, TACAS'16, pp.367-384, 2016.

S. Chakraborty and J. Katoen, Model Checking of Open Interval Markov Chains, Analytical and Stochastic Modelling Techniques and Applications -22nd International Conference Proceedings, pp.30-42, 2015.
DOI : 10.1007/978-3-319-18579-8_3

T. Chen, T. Han, and M. Z. Kwiatkowska, On the complexity of model checking interval-valued discrete time Markov chains, Information Processing Letters, vol.113, issue.7, pp.210-216, 2013.
DOI : 10.1016/j.ipl.2013.01.004

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

C. Dehnert, S. Junges, N. Jansen, F. Corzilius, M. Volk et al., PROPhESY: A PRObabilistic ParamEter SYnthesis Tool, Computer Aided Verification -27th International Conference, CAV 2015 Proceedings, Part I, pp.214-231, 2015.
DOI : 10.1007/978-3-319-21690-4_13

B. Delahaye, Consistency for Parametric Interval Markov Chains, SynCoP'15, pp.17-32, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01140752

J. Beno??tbeno??t-delahaye, K. G. Katoen, A. Larsen, M. L. Legay, F. Pedersen et al., Abstract Probabilistic Automata, Information and Computation, vol.232, pp.66-116, 2013.
DOI : 10.1016/j.ic.2013.10.002

K. G. Beno??tbeno??t-delahaye, A. Larsen, M. L. Legay, A. Pedersen, and . Wasowski, New results for Constraint Markov Chains, Performance Evaluation, vol.69, issue.7-8, pp.379-401, 2012.
DOI : 10.1016/j.peva.2011.11.003

D. Beno??tbeno??t-delahaye, L. Lime, and . Petrucci, Parameter Synthesis for Parametric Interval Markov Chains, VMCAI'16, pp.372-390, 2016.

E. Moritz-hahn, H. Hermanns, and L. Zhang, Probabilistic reachability for parametric Markov models, International Journal on Software Tools for Technology Transfer, vol.1, issue.1, pp.3-19, 2011.
DOI : 10.1007/s10009-010-0146-x

B. Jonsson and K. 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, Computer Aided Verification -23rd International Conference, CAV 2011 Proceedings, pp.585-591, 2011.
DOI : 10.1007/3-540-45657-0_17
URL : https://hal.archives-ouvertes.fr/hal-00648035

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.1017/CBO9780511813658

S. Owre, J. M. Rushby, and N. Shankar, PVS: A prototype verification system, 11th IC on Automated Deduction (CADE), LNAI 607, pp.748-752, 1992.
DOI : 10.1007/3-540-55602-8_217

T. Quatmann, C. Dehnert, N. Jansen, S. Junges, and J. Katoen, Parameter Synthesis for Markov Models: Faster Than Ever, Automated Technology for Verification and Analysis -ATVA 2016, pp.50-67, 2016.
DOI : 10.1007/978-3-662-49674-9_8

J. Wielemakers, SWI-prolog version 7 extensions. WLPE-2014, 2014.