M. Weiser, The computer for the twenty-first century, Scientific American, pp.94-104, 1991.

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

R. Spalazzese and P. Inverardi, Mediating Connector Patterns for Components Interoperability, Proceedings of ECSA2010, pp.335-343, 2010.
DOI : 10.1007/11678564_12

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

H. Raffelt, B. Steffen, and T. Berg, LearnLib, Proceedings of the 10th international workshop on Formal methods for industrial critical systems , FMICS '05, pp.62-71, 2005.
DOI : 10.1145/1081180.1081189

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

J. Magee and J. Kramer, Concurrency: state models & Java programs, 2006.

A. Movaghar and J. F. Meyer, Performability modelling with stochastic activity networks, Real-Time Systems Symposium, 1984.

A. Ehrenfeucht and G. Rozenberg, Partial (set) 2-structures

J. Cortadella, M. Kishinevsky, L. Lavagno, and A. Yakovlev, Deriving Petri nets from finite transition systems, IEEE Transactions on Computers, vol.47, issue.8, pp.859-882, 1998.
DOI : 10.1109/12.707587

U. Buy and G. Singal, Toward efficient algorithms for generating compact Petri nets from labeled transition systems, Proceedings 26th Annual International Computer Software and Applications, pp.717-722, 2002.
DOI : 10.1109/CMPSAC.2002.1045086

J. Carmona, J. Cortadella, and M. Kishinevsky, Genet: A Tool for the Synthesis and Mining of Petri Nets, 2009 Ninth International Conference on Application of Concurrency to System Design, pp.181-185, 2009.
DOI : 10.1109/ACSD.2009.6

R. Consortium, EU project ReSIST: Resilience for Survivability in IST. Deliverable D33: Resilience-explicit computing, Tech. Rep, 2008.

A. L. Murphy, G. P. Picco, and G. Roman, LIME, ACM Transactions on Software Engineering and Methodology, vol.15, issue.3, pp.279-328, 2006.
DOI : 10.1145/1151695.1151698

M. Gudgin, M. Hadley, N. Mendelsohn, J. Moreau, and H. F. Nielsen, Soap version 1.2 part 2: Adjuncts, W3C Recommendation, pp.12-14, 2003.

P. Masci, M. Martinucci, and F. D. Giandomenico, Towards automated dependability analysis of dinamically CONNECTed systems, ISTI-CNR, Tech. Rep, pp.2010-2032, 2010.

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

G. Csertan, G. Huszerl, I. Majzik, Z. Pap, A. Pataricza et al., VIATRA - visual automated transformations for formal verification and validation of UML models, Proceedings 17th IEEE International Conference on Automated Software Engineering,, pp.267-270, 2002.
DOI : 10.1109/ASE.2002.1115027

R. Calinescu and M. Kwiatkowska, Using quantitative analysis to implement autonomic IT systems, 2009 IEEE 31st International Conference on Software Engineering, pp.100-110, 2009.
DOI : 10.1109/ICSE.2009.5070512

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