A. Avizienis, J. Laprie, B. Randell, and C. Landwehr, Basic concepts and taxonomy of dependable and secure computing, IEEE Transactions on Dependable and Secure Computing, vol.1, issue.1, pp.11-33, 2004.
DOI : 10.1109/TDSC.2004.2

A. Aziz, K. Sanwal, V. Singhal, and R. Brayton, Verifying continuous time Markov chains, Proc. 8th International Conference on Computer Aided Verification (CAV'96), volume 1102 of LNCS, pp.269-276, 1996.
DOI : 10.1007/3-540-61474-5_75

C. Baier, J. Katoen, and H. Hermanns, Approximate symbolic model checking of continuous-time Markov chains, Proc. 10th International Conference on Concurrency Theory (CONCUR'99), pp.146-161, 1999.

A. Bertolino, F. D. Giandomenico, A. D. Marco, V. Issarny, F. Martinelli et al., Dependability in dynamic, evolving and heterogeneous systems, Proceedings of the 2nd International Workshop on Software Engineering for Resilient Systems, SERENCE '10, 2010.
DOI : 10.1145/2401736.2401746

URL : https://hal.archives-ouvertes.fr/inria-00465229

A. Bertolino, P. Inverardi, V. Issarny, A. Sabetta, and R. Spalazzese, On-the-fly interoperability though automated mediator synthesis and monitoring, Proc. 4th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISOLA'10), 2010.

A. Bianco and L. De-alfaro, Model checking of probabilistic and nondeterministic systems, Proc. FSTTCS'95, 1995.
DOI : 10.1007/3-540-60692-0_70

R. Calinescu, L. Grunske, M. Kwiatkowska, R. Mirandola, and G. Tamburrelli, Dynamic QoS management and optimisation in service-based systems, IEEE Transaction on Software Engineering
URL : https://hal.archives-ouvertes.fr/hal-00663216

G. Clark, T. Courtney, D. Daly, D. D. Deavours, S. Derisavi et al., The Möbius modeling tool, 9th Int. Workshop on Petri Nets and Performance Models, pp.241-250, 2001.

L. Feng, M. Kwiatkowska, and D. Parker, Compositional Verification of Probabilistic Systems Using Learning, 2010 Seventh International Conference on the Quantitative Evaluation of Systems, 2010.
DOI : 10.1109/QEST.2010.24

URL : https://hal.archives-ouvertes.fr/inria-00531203

R. Gulati and J. B. Dugan, A modular approach for analyzing static and dynamic fault trees, Annual Reliability and Maintainability Symposium, pp.57-63, 1997.
DOI : 10.1109/RAMS.1997.571665

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

A. Hinton, M. Kwiatkowska, G. Norman, and D. Parker, PRISM: A Tool for Automatic Verification of Probabilistic Systems, Proc. TACAS'06, 2006.
DOI : 10.1007/11691372_29

P. Inverardi, V. Issarny, and R. Spalazzese, A Theory of Mediators for Eternal Connectors, Proc. 4th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISOLA'10), 2010.
DOI : 10.1007/978-3-642-16561-0_25

URL : https://hal.archives-ouvertes.fr/inria-00512443

V. Issarny, B. Steffen, B. Jonsson, G. Blair, P. Grace et al., CONNECT Challenges: Towards Emergent Connectors for Eternal Networked Systems, 2009 14th IEEE International Conference on Engineering of Complex Computer Systems, pp.154-161, 2009.
DOI : 10.1109/ICECCS.2009.44

URL : https://hal.archives-ouvertes.fr/inria-00392809

M. Kwiatkowska, G. Norman, D. Parker, and H. Qu, Assume-Guarantee Verification for Probabilistic Systems, Proc. of 16th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'10), 2009.
DOI : 10.1007/978-3-642-12002-2_3

URL : https://hal.archives-ouvertes.fr/inria-00458058

W. E. Leland, M. S. Taqqu, W. Willinger, and D. V. Wilson, On the self-similar nature of Ethernet traffic (extended version), IEEE/ACM Transactions on Networking, vol.2, issue.1, pp.1-15, 1994.
DOI : 10.1109/90.282603

P. Masci, S. Chiaradonna, and F. D. Giandomenico, Dependability Analysis of Diffusion Protocols in Wireless Networks with Heterogeneous Node Capabilities, 2010 European Dependable Computing Conference, pp.145-154, 2010.
DOI : 10.1109/EDCC.2010.26

D. M. Nicol, W. H. Sanders, and K. S. Trivedi, Model-based evaluation: from dependability to security, IEEE Transactions on Dependable and Secure Computing, vol.1, issue.1, pp.48-65, 2004.
DOI : 10.1109/TDSC.2004.11

A. Pnueli, The temporal logic of programs, 18th Annual Symposium on Foundations of Computer Science (sfcs 1977), pp.46-57, 1977.
DOI : 10.1109/SFCS.1977.32