J. Bruneau, W. Jouve, and C. Consel, DiaSim, a parameterized simulator for pervasive computing applications, International Conference on Mobile and Ubiquitous Systems, 2009.
URL : https://hal.archives-ouvertes.fr/inria-00403421

M. Calder and A. Miller, Feature interaction detection by pairwise analysis of LTL properties -a case study. Formal Methods in System Design, pp.213-261, 2006.

D. Cassou, E. Balland, C. Consel, and J. Lawall, Architecture-driven programming for sense/compute/control applications, International Conference on Systems, Programming, Languages, and Applications: Software for Humanity, 2010.

D. Cassou, E. Balland, C. Consel, and J. Lawall, Leveraging software architectures to guide and verify the development of sense/compute/control applications, Proceeding of the 33rd international conference on Software engineering, ICSE '11, 2011.
DOI : 10.1145/1985793.1985852

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

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

A. K. Dey, G. D. Abowd, and D. Salber, A Conceptual Framework and a Toolkit for Supporting the Rapid Prototyping of Context-Aware Applications, Human-Computer Interaction, vol.37, issue.3, pp.97-166, 2001.
DOI : 10.1109/98.626982

S. Gatti, E. Balland, and C. Consel, A Step-Wise Approach for Integrating QoS throughout Software Development, 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

S. K. Gupta, T. Mukherjee, and K. Venkatasubramanian, Criticality Aware Access Control Model for Pervasive Applications, Fourth Annual IEEE International Conference on Pervasive Computing and Communications (PERCOM'06), 2006.
DOI : 10.1109/PERCOM.2006.19

P. A. Haya, G. Montoro, A. Esquivel, M. García-herranz, and X. Alamán, A mechanism for solving conflicts in ambient intelligent environments, J. UCS, vol.12, issue.3, pp.284-296, 2006.

D. O. Keck and P. J. Kuehn, The feature and service interaction problem in telecommunications systems: a survey, IEEE Transactions on Software Engineering, vol.24, issue.10, pp.779-796, 1998.
DOI : 10.1109/32.729680

D. Retkowitz and S. Kulle, Dependency Management in Smart Homes, International Conference on Distributed Applications and Interoperable Systems, 2009.
DOI : 10.1007/978-3-540-76890-6_2

G. Sampemane, Access control for Active Spaces, 18th Annual Computer Security Applications Conference, 2002. Proceedings., 2005.
DOI : 10.1109/CSAC.2002.1176306

C. Shin, A. K. Dey, and W. Woo, Mixed-initiative conflict resolution for context-aware applications, Proceedings of the 10th international conference on Ubiquitous computing, UbiComp '08, pp.262-271, 2008.
DOI : 10.1145/1409635.1409671

W. Tolone, G. Ahn, T. Pai, and S. Hong, Access control in collaborative systems, ACM Computing Surveys, vol.37, issue.1, pp.29-41, 2005.
DOI : 10.1145/1057977.1057979

V. Tuttlies, G. Schiele, and C. Becker, COMITY - Conflict Avoidance in Pervasive Computing Environments, International Workshop on Pervasive Systems, 2007.
DOI : 10.1007/978-3-540-76890-6_2

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