T. Margaria, B. Steffen, M. Von, and . Beec, Automatic Synthesis of Linear Process Models from Temporal Constraints: An Incremental Approach, Proceedings of the ACM-SIGPLAN International Workshop on Automated Analysis of Software (AAS'97), pp.127-141, 1997.

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

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

M. Klein, R. Kazman, L. Bass, S. J. Carriere, M. Barbacci et al., Attribute-Based Architectural Styles, Proceedings of the 1st IFIP Working Conference on Software Architecture (WICSA-1), pp.225-243, 1999.

C. Kloukinas and V. Issarny, Automating the composition of middleware configurations, Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering, pp.241-244, 2000.
DOI : 10.1109/ASE.2000.873668

C. Kloukinas and V. Issarny, SPIN-ing Software Architectures: A Method for Exploring Complex Systems, Proceedings of the 2nd IEEE/IFIP Working Conference on Software Architecture (WICSA- 2), pp.67-76, 2001.

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

X. Qian, M. Moriconi, and R. A. Riemenschneider, Correct Architecture Refinement, IEEE Transactions on Software Engineering, vol.21, issue.4, pp.356-372, 1995.

E. Marsden, Failure Modes Analysis of CORBA-Based Middleware -Preliminary Results, Proceedings of the IEEE International Conference on Dependable Systems and Networks (DSN'2001), 2001.

B. Spitznagel and D. Garlan, A compositional approach for constructing connectors, Proceedings Working IEEE/IFIP Conference on Software Architecture, pp.148-157, 2001.
DOI : 10.1109/WICSA.2001.948424

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), p.page to appear, 2001.
DOI : 10.1109/ASE.2001.989827

A. Zarras, V. Issarny, C. Kloukinas, and V. K. Nguyen, Towards a base UML Profile for Architecture Description, Proceedings of the 1st ICSE Workshop on Describing Software Architecture with UML, pp.22-26, 2001.