R. Allen and D. Garlan, Formalizing architectural connection, Proceedings of 16th International Conference on Software Engineering, pp.71-80, 1994.
DOI : 10.1109/ICSE.1994.296767

R. Geist and K. Trivedi, Reliability estimation of fault-tolerant systems: tools and techniques, Computer, vol.23, issue.7, pp.52-61, 1990.
DOI : 10.1109/2.56852

H. Kobayashi, Modeling and Analysis: An Introduction to System Performance Evaluation Methodology, 1978.

J. Magee, J. Kramer, and D. Giannakopoulou, Behavior analysis of software architectures, Proceedings of the 1st IFIP Working Conference on Software Architectures (WICSA-1), pp.35-49, 1999.

D. Garlan, R. Monroe, and D. Wile, Acme, CASCON First Decade High Impact Papers on, CASCON '10, 1997.
DOI : 10.1145/1925805.1925814

N. Medvidovic and R. Taylor, A classification and comparison framework for software architecture description languages, IEEE Transactions on Software Engineering, vol.26, issue.1, pp.70-93, 2000.
DOI : 10.1109/32.825767

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

D. Wile, AML: an Architecture Meta-Language, 14th IEEE International Conference on Automated Software Engineering, 1999.
DOI : 10.1109/ASE.1999.802241

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

E. Dashofy, A. Van-der-hoek, and R. Taylor, An infrastructure for the rapid development of XML-based architecture description languages, Proceedings of the 24th international conference on Software engineering , ICSE '02, pp.266-276, 2002.
DOI : 10.1145/581372.581374

D. Garlan, J. Kompanec, and P. Pinto, Reconciling the needs of architectural description with object-modeling notations, Proceedings of the 3rd International Conference on the Unified Modeling Language, 2000.

N. Medvidovic, D. S. Rosenblum, J. E. Robbins, and D. F. Redmiles, Modeling software architectures in the Unified Modeling Language, ACM Transactions on Software Engineering and Methodology, vol.11, issue.1
DOI : 10.1145/504087.504088

J. Lilius and L. Paltor, vUML: a tool for verifying UML models, 14th IEEE International Conference on Automated Software Engineering, pp.255-258, 1999.
DOI : 10.1109/ASE.1999.802301

G. J. Holzmann, The model checker SPIN, IEEE Transactions on Software Engineering, vol.23, issue.5, pp.279-295, 1997.
DOI : 10.1109/32.588521

N. Kaveh and W. Emmerich, Deadlock detection in distributed object systems, Proceedings of the 8th European Software Engineering Conference (ESEC) / 9th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE), 2001.

A. Zarras, C. Kloukinas, V. Issarny, and V. K. Nguyen, An Architecture-based Environment for the Development of DSoS, IC2 Report: Initial Results on Architectures and Dependable Mechanisms for Dependable SoSs, 2001.

M. Klein, R. Kazman, L. Bass, S. J. Caxriere, M. Barbacci et al., Attributebased architectural styles, Proceedings of the 1st IFIP Working Conference on Software Architecture (WICSA-1), pp.225-243, 1999.

R. Kazman, S. J. Carriere, and S. G. Woods, Toward a discipline of scenario-based architectural engineering, Annals of Software Engineering, vol.9, issue.1/4, pp.5-33, 2000.
DOI : 10.1023/A:1018964405965

A. Zarras and V. Issarny, Automating the performance and reliability analysis of enterprise information systems, Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001), 2000.
DOI : 10.1109/ASE.2001.989827

J. C. Laprie, DEPENDABLE COMPUTING AND FAULT TOLERANCE : CONCEPTS AND TERMINOLOGY, Twenty-Fifth International Symposium on Fault-Tolerant Computing, 1995, ' Highlights from Twenty-Five Years'., 1985.
DOI : 10.1109/FTCSH.1995.532603

J. C. Laprie, J. Arlat, C. Beounes, and K. Kctnoun, Definition and analysis of hardware- and software-fault-tolerant architectures, Computer, vol.23, issue.7, pp.39-51, 1990.
DOI : 10.1109/2.56851

R. W. Butler, The SURE approach to reliability analysis, IEEE Transactions on Reliability, vol.41, issue.2, pp.210-218, 1992.
DOI : 10.1109/24.257783

S. C. Johnson, Reliability analysis of large, complex systems using ASSIST, Digital Avionics Systems Conference, pp.227-234, 1988.
DOI : 10.2514/6.1988-3898

S. Floyd and V. Paxson, Difficulties in simulating the Internet, IEEE/ACM Transactions on Networking, vol.9, issue.4, 2001.
DOI : 10.1109/90.944338

B. Chandra, M. Dahlin, L. Gao, and A. Nayate, End-to-end wan service availability, Proceedings of the 2nd USENIX Symposium on Internet Technologies and Systems, pp.97-108, 2001.

M. Kaaniche, K. Kanoun, M. Martinello, and C. Simache, In: CSDA3 Report: SoS Dependability Assessment : Modelling cind Measurement, 2002.