J. Aldrich, C. Chambers, and D. Notkin, ArchJava, Proceedings of the 24th international conference on Software engineering , ICSE '02, 2002.
DOI : 10.1145/581339.581365

D. Cassou, B. Bertran, N. Loriant, and C. Consel, A generative programming approach to developing pervasive computing systems, GPCE'09: 8th International Conference on Generative Programming and Component Engineering, 2009.
URL : https://hal.archives-ouvertes.fr/inria-00405819

G. Chen and D. Kotz, Context aggregation and dissemination in ubiquitous computing systems, WMCSA'02: 4th Workshop on Mobile Computing Systems and Applications, 2002.

L. De-alfaro and T. A. Henzinger, Interface automata, ESEC'01: 9th European Software Engineering Conference, 2001.

G. Edwards, J. Garcia, H. Tajalli, D. Popescu, N. Medvidovic et al., Architecture-driven self-adaptation and self-management in robotics systems, 2009 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, 2009.
DOI : 10.1109/SEAMS.2009.5069083

S. Gatti, E. Balland, and C. Consel, A Step-Wise Approach for Integrating QoS throughout Software Development, FASE'11: 14th European Conference on Fundamental Approaches to Software Engineering, 2011.
DOI : 10.1007/978-3-642-19811-3_16
URL : https://hal.archives-ouvertes.fr/inria-00561619

G. J. Holzmann, The model checker SPIN, IEEE Transactions on Software Engineering, vol.23, issue.5, 2003.
DOI : 10.1109/32.588521

M. Huth and M. Ryan, Logic in Computer Science: Modelling and reasoning about systems, 2000.
DOI : 10.1017/CBO9780511810275

G. Jung and J. Hatcliff, A type-centric framework for specifying heterogeneous, large-scale, component-oriented, architectures, Proceedings of the 6th international conference on Generative programming and component engineering , GPCE '07, p.75, 2010.
DOI : 10.1145/1289971.1289979
URL : http://doi.org/10.1016/j.scico.2009.12.008

D. Luckham and J. Vera, An event-based architecture definition language, IEEE Transactions on Software Engineering, vol.21, issue.9, 1995.
DOI : 10.1109/32.464548
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.53.3387

N. A. Lynch and M. R. Tuttle, Hierarchical correctness proofs for distributed algorithms, Proceedings of the sixth annual ACM Symposium on Principles of distributed computing , PODC '87, 1987.
DOI : 10.1145/41840.41852
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.184.5197

J. Magee and J. Kramer, Dynamic structure in software architectures, SIGSOFT'96: 4th Symposium on Foundations of software engineering, 1996.
DOI : 10.1145/239098.239104
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.144.7938

N. Medvidovic, E. M. Dashofy, and R. N. Taylor, Moving architectural description from under the technology lamppost, Information and Software Technology, vol.49, issue.1, 2007.
DOI : 10.1109/euromicro.2006.47
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.184.4191

N. Medvidovic and R. N. Taylor, A classification and comparison framework for software architecture description languages, IEEE Transactions on Software Engineering, vol.26, issue.1, 2000.
DOI : 10.1109/32.825767
URL : https://hal.archives-ouvertes.fr/hal-00444077

J. Mercadal, Q. Enard, C. Consel, and N. Loriant, A domain-specific approach to architecturing error handling in pervasive computing, OOPSLA'10: 25th International Conference on Object Oriented Programming Systems Languages and Applications, 2010.
DOI : 10.1145/1869459.1869465
URL : https://hal.archives-ouvertes.fr/inria-00486930

R. Picek and V. Strahonja, Model Driven Development -future or failure of software development?, IIS'07: 18th International Conference on Information and Intelligent Systems, 2007.

E. Serral, P. Valderas, and V. Pelechano, Towards the Model Driven Development of context-aware pervasive systems, Pervasive and Mobile Computing, vol.6, issue.2, p.2010
DOI : 10.1016/j.pmcj.2009.07.006

M. Shaw, R. Deline, D. V. Klein, T. L. Ross, D. M. Young et al., Abstractions for software architecture and tools to support them, IEEE Transactions on Software Engineering, vol.21, issue.4, 1995.
DOI : 10.1109/32.385970
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.29.7102

V. C. Sreedhar, Mixin'Up components, Proceedings of the 24th international conference on Software engineering , ICSE '02, 2002.
DOI : 10.1145/581339.581366

R. N. Taylor, N. Medvidovic, and E. M. Dashofy, Software architecture, Proceedings of the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering on European software engineering conference and foundations of software engineering symposium, ESEC/FSE '09, 2009.
DOI : 10.1145/1595696.1595754
URL : https://hal.archives-ouvertes.fr/hal-00444077

N. Ubayashi, J. Nomura, and T. Tamai, Archface, Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, ICSE '10, 2010.
DOI : 10.1145/1806799.1806815

G. Waignier, S. Prawee, A. Meur, and L. Duchien, A Model-Based Framework for Statically and Dynamically Checking Component Interactions, MODELS'08: 11th International Conference on Model-Driven Engineering Languages and Systems, 2008.
DOI : 10.1007/978-3-540-87875-9_27
URL : https://hal.archives-ouvertes.fr/inria-00311584