A. Technologies and . Inc, Akamai sureroute for failover and performance, 2003.

D. Andersen, H. Balakrishnan, F. Kaashoek, and R. Morris, Resilient overlay networks, ACM SIGOPS Operating Systems Review, vol.35, issue.5, pp.131-145, 2001.
DOI : 10.1145/502059.502048

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

G. David and . Andersen, Mayday: Distributed Filtering for Internet Services, 4th Usenix Symposium on Internet Technologies and Systems, 2003.

A. Bondavalli, M. Dal-cin, D. Latella, I. Majzik, A. Pataricza et al., Dependability analysis in the early phases of uml-based system design, Language, vol.16, issue.5, pp.265-275, 2001.

R. T. Braden, RFC 1122: Requirements for Internet hosts ? communication layers, 1989.

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

G. Csertan, G. Huszerl, I. Majzik, and Z. Pap, Andras Pataricza, Daniel Varro, and Dániel Varró. Viatra -visual automated transformations for formal verification and validation of uml models, 17th IEEE International Conference on Automated Software Engineering (ASE'02), pp.267-270, 2002.

D. Daly, D. D. Deavours, J. M. Doyle, P. G. Webster, and W. H. Sanders, Möbius: An extensible tool for performance and dependability modeling, 11th Int. Conf, pp.332-336, 2000.
DOI : 10.1007/3-540-46429-8_25

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

D. Angelos, V. Keromytis, D. Misra, and . Rubenstein, Sos: Secure overlay services, Proceedings of ACM SIGCOMM, pp.61-72, 2002.

J. Kurian and K. Sarac, A survey on the design, applications, and enhancements of application-layer overlay networks, ACM Computing Surveys, vol.43, issue.1, pp.1-5, 2010.
DOI : 10.1145/1824795.1824800

P. Masci, M. Martinucci, and F. D. Giandomenico, Towards Automated Dependability Analysis of Dynamically Connected Systems, 2011 Tenth International Symposium on Autonomous Decentralized Systems, 2011.
DOI : 10.1109/ISADS.2011.23

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

A. Movaghar, Stochastic activity networks: a new definition and some properties, Scientia Iranica, vol.8, issue.4, pp.303-311, 2001.

A. Movaghar and J. F. Meyer, Performability modelling with stochastic activity networks, Proc. of the 1984 Real-Time Systems Symposium, pp.215-224, 1984.

T. Murata, Petri nets: Properties, analysis and applications, Proceedings of the IEEE, pp.541-580, 1989.
DOI : 10.1109/5.24143

C. Adam and P. , Kommunikation mit Automaten, 1961.

R. Consortium, . Eu, and . Resist, Resilience for Survivability in IST. Deliverable D33: Resilience-explicit computing, 2008.

A. Rugina, K. Kanoun, and M. Kaâniche, A system dependability modeling framework using aadl and gspns. Architecting dependable systems, pp.14-38, 2007.

A. Rugina, K. Kanoun, and M. Kaaniche, The ADAPT Tool: From AADL Architectural Models to Stochastic Petri Nets through Model Transformation, 2008 Seventh European Dependable Computing Conference, pp.85-90, 2008.
DOI : 10.1109/EDCC-7.2008.14

URL : https://hal.archives-ouvertes.fr/hal-00323969

H. William, J. F. Sanders, and . Meyer, Stochastic activity networks: formal definitions and concepts. In Lectures on formal methods and performance analysis: first EEF/Euro summer school on trends in computer science, pp.315-343, 2002.

L. Subramanian, I. Stoica, H. Balakrishnan, and R. H. Katz, OverQoS, ACM SIGCOMM Computer Communication Review, vol.33, issue.1, pp.11-16, 2003.
DOI : 10.1145/774763.774764

W. Zeng, Y. Zhu, H. Lu, and X. Zhuang, Path-diversity p2p overlay retransmission for reliable ip-multicast. Multimedia, IEEE Transactions on, vol.11, issue.5, pp.960-971, 2009.

Z. Zhou, Z. Peng, J. Cui, and Z. Shi, Efficient Multipath Communication for Time-Critical Applications in Underwater Acoustic Sensor Networks, IEEE/ACM Transactions on Networking, vol.19, issue.1, pp.28-41, 2011.
DOI : 10.1109/TNET.2010.2055886