T. A. Henzinger and J. Sifakis, The Embedded Systems Design Challenge, FM, ser. lncs, pp.1-15, 2006.
DOI : 10.1007/11813040_1

L. De-alfaro and T. A. Henzinger, Interface-based design, " in Engineering Theories of Software-intensive Systems, ser, NATO Science Series: Mathematics, Physics, and Chemistry, pp.83-104, 2005.

K. G. Larsen, Modal specifications, AVMS, ser. LNCS, pp.232-246, 1989.
DOI : 10.1007/3-540-52148-8_19

K. G. Larsen, U. Nyman, and A. Wasowski, Modal I/O Automata for Interface and Product Line Theories, ESOP, ser, pp.64-79, 2007.
DOI : 10.1007/978-3-540-71316-6_6

L. De-alfaro and T. A. Henzinger, Interface automata, FSE, pp.109-120, 2001.

L. Doyen, T. A. Henzinger, B. Jobstmann, and T. Petrov, Interface theories with component reuse, Proceedings of the 7th ACM international conference on Embedded software, EMSOFT '08, pp.79-88, 2008.
DOI : 10.1145/1450058.1450070

A. Chakrabarti, L. De-alfaro, T. A. Henzinger, and F. Y. Mang, Synchronous and Bidirectional Component Interfaces, CAV, ser. LNCS, pp.414-427, 2002.
DOI : 10.1007/3-540-45657-0_34

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

H. Hansson and B. Jonsson, A logic for reasoning about time and reliability, Formal Aspects of Computing, vol.2, issue.1, 1994.
DOI : 10.1007/BF01211866

R. Segala and N. Lynch, Probabilistic simulations for probabilistic processes, CONCUR, ser. LNCS, pp.481-496, 1994.

H. Hansson and B. Jonsson, A calculus for communicating systems with time and probabitilies, IEEE Real-Time Systems Symposium, pp.278-287, 1990.

B. Jonsson, K. Larsen, and W. Yi, Probabilistic extensions of process algebras, Handbook of Process Algebra, pp.681-710, 2001.

H. Hermans, Interactive Markov Chains, verlag, 2002.

H. Fecher, M. Leucker, and V. Wolf, Don???t Know in Probabilistic Systems, SPIN, ser. LNCS, 2006.
DOI : 10.1007/3-540-58468-4_190

B. Caillaud, B. Delahaye, K. G. Larsen, A. Legay, M. L. Pedersen et al., Compositional Design Methodology with Constraint Markov Chains, 2010 Seventh International Conference on the Quantitative Evaluation of Systems, 2009.
DOI : 10.1109/QEST.2010.23
URL : https://hal.archives-ouvertes.fr/inria-00591578

K. Sen, M. Viswanathan, and G. Agha, Model-Checking Markov Chains in the Presence of Uncertainties, TACAS, ser. LNCS, pp.394-410, 2006.
DOI : 10.1016/0004-3702(95)00009-7

K. Chatterjee, K. Sen, and T. A. Henzinger, Model-checking omegaregular properties of interval Markov chains, FoSSaCS, ser. LNCS, 2008.

N. Benes, J. Kretinsky, K. G. Larsen, and J. Srba, On determinism in modal transition systems

C. W. Brown, Simple CAD Construction and its Applications, Journal of Symbolic Computation, vol.31, issue.5, 2001.
DOI : 10.1006/jsco.2000.0394

C. W. Brown and J. H. Davenport, The complexity of quantifier elimination and cylindrical algeraic decomposition, SSAC, pp.54-60, 2007.

H. Yanami and H. Anai, SyNRAC, ACM Communications in Computer Algebra, vol.41, issue.3, pp.112-113, 2007.
DOI : 10.1145/1358190.1358205

J. Katoen, D. Klink, and M. R. Neuhäußer, Compositional Abstraction for Stochastic Systems, FORMATS, ser, pp.195-211, 2009.
DOI : 10.1007/BFb0035395

F. Ciesinski and M. Größer, On Probabilistic Computation Tree Logic, VSS, ser. LNCS, 2004.
DOI : 10.1007/978-3-540-24611-4_5

S. Haddad and N. Pekergin, Using Stochastic Comparison for Efficient Model Checking of Uncertain Markov Chains, 2009 Sixth International Conference on the Quantitative Evaluation of Systems, pp.177-186, 2009.
DOI : 10.1109/QEST.2009.42
URL : https://hal.archives-ouvertes.fr/hal-00772668

H. Hermanns, U. Herzog, and J. Katoen, Process algebra for performance evaluation, Theoretical Computer Science, vol.274, issue.1-2, pp.43-87, 2002.
DOI : 10.1016/S0304-3975(00)00305-4

J. Hillston, A Compositional Approach to Performance Modelling, 1996.
DOI : 10.1017/CBO9780511569951

J. Katoen, D. Klink, M. Leucker, and V. Wolf, Three-Valued Abstraction for Continuous-Time Markov Chains, CAV, ser. LNCS, pp.311-324, 2007.
DOI : 10.1007/978-3-540-73368-3_37

S. Andova, Process Algebra with Probabilistic Choice, ARTS, ser. LNCS, 1999.
DOI : 10.1007/3-540-48778-6_7

N. López and M. Núñez, An Overview of Probabilistic Process Algebras and Their Equivalences, VSS, ser, pp.89-123, 2004.
DOI : 10.1007/978-3-540-24611-4_3

K. G. Larsen and A. Skou, Compositional verification of probabilistic processes, CONCUR, ser. LNCS, pp.456-471, 1992.
DOI : 10.1007/BFb0084809

L. De-alfaro, T. A. Henzinger, and R. Jhala, Compositional Methods for Probabilistic Systems, CONCUR, ser. lncs, pp.351-365, 2001.
DOI : 10.1007/3-540-44685-0_24