J. Cano, G. Delaval, and E. Rutten, Coordination of ECA Rules by Verification and Control, International Conference on Coordination Languages and Models, pp.33-48, 2014.
DOI : 10.1007/978-3-662-43376-8_3
URL : https://hal.archives-ouvertes.fr/hal-01006186

S. Bonhomme, E. Campo, D. Esteve, and J. Guennec, Methodology and tools for the design and verification of a smart management system for home comfort, 2008 4th International IEEE Conference Intelligent Systems, pp.24-26, 2008.
DOI : 10.1109/IS.2008.4670480

F. Corno and M. Sanaullah, Modeling and formal verification of smart environments. Security and Communication Networks, pp.1582-1598, 2014.

J. Augusto and M. Hornos, Software simulation and verification to increase the reliability of intelligent environments Advances in Engineering Software, pp.18-34, 2013.

A. Nacci, B. Balaji, P. Spoletini, R. Gupta, D. Sciuto et al., BuildingRules, Proceedings of the 2015 ACM International Joint Conference on Pervasive and Ubiquitous Computing and Proceedings of the 2015 ACM International Symposium on Wearable Computers, UbiComp '15, pp.381-384, 2015.
DOI : 10.1145/2528282.2528304

Y. Sun, X. Wang, H. Luo, and X. Li, Conflict Detection Scheme Based on Formal Rule Model for Smart Building Systems, IEEE Transactions on Human-Machine Systems, vol.45, issue.2, pp.215-227, 2015.
DOI : 10.1109/THMS.2014.2364613

E. Magill and J. Blum, Exploring conflicts in rule-based sensor networks, Pervasive and Mobile Computing, vol.27, pp.133-154, 2016.
DOI : 10.1016/j.pmcj.2015.08.005

C. Vannucchi, M. Diamanti, and G. Mazzante, Symbolic verification of event???condition???action rules in intelligent environments, Journal of Reliable Intelligent Environments, vol.45, issue.2, pp.1-14, 2017.
DOI : 10.1109/COASE.2008.4626431

L. Guilly, T. Nielsen, M. Pedersen, and T. , User constraints for reliable user-defined smart home scenarios, Journal of Reliable Intelligent Environments, vol.265, issue.3, pp.75-91, 2016.
DOI : 10.1038/scientificamerican0991-94

L. Guilly, T. Smedegård, J. Pedersen, T. Skou, and A. , To Do and Not to Do: Constrained Scenarios for Safe Smart House, 2015 International Conference on Intelligent Environments, pp.17-24
DOI : 10.1109/IE.2015.11

C. Maternaghan and K. Turner, Policy conflicts in home automation, Computer Networks, vol.57, issue.12, pp.2429-2441, 2013.
DOI : 10.1016/j.comnet.2013.02.026

C. Liang and B. Karlsson, SIFT, Proceedings of the 14th International Conference on Information Processing in Sensor Networks, IPSN '15, pp.298-309, 2015.
DOI : 10.1145/1182807.1182822

A. Sylla, M. Louvel, and F. Pacull, Coordination Rules Generation from Coloured Petri Net Models, Proceedings of the Int. Workshop on Petri Nets and Software Engineering (PNSE'15); 2015, pp.325-326

J. Augusto and M. Hornos, Using Simulation and Verification to Inform the Development of Intelligent Environments In: Intelligent Environments (Workshops); 2012, pp.413-424

F. Corno and M. Sanaullah, Formal Verification of Device State Chart Models, 2011 Seventh International Conference on Intelligent Environments, pp.66-73, 2011.
DOI : 10.1109/IE.2011.36

M. Shehata, E. An, and A. Fapojuwo, Using semi-formal methods for detecting interactions among smart homes policies, Science of Computer Programming, vol.67, issue.2-3, pp.2-3125, 2007.
DOI : 10.1016/j.scico.2006.11.002

M. Louvel and F. Pacull, Linc: A compact yet powerful coordination environment In: Coordination Models and Languages, pp.83-98, 2014.

G. Delaval, É. Rutten, and H. Marchand, Integrating discrete controller synthesis into a reactive programming language compiler. Discrete Event Dynamic Systems, pp.385-418, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00863286

J. Kephart and D. Chess, The vision of autonomic computing, Computer, vol.36, issue.1, pp.41-50, 2003.
DOI : 10.1109/MC.2003.1160055

F. Pacull, L. Ducreux, and S. Thior, Self-organisation for Building Automation Systems: Middleware LINC as an Integration Tool, IECON 2013, 39th Annual Conference of the IEEE Industrial Electronics Society, pp.7726-7732
DOI : 10.1109/IECON.2013.6700421

L. Ducreux and C. Guyon-gardeux, Resource-based middleware in the context of heterogeneous building automation systems, IECON 2012, 38th Annual Conference on IEEE Industrial Electronics Society, pp.4847-4852
DOI : 10.1109/IECON.2012.6388996

L. Ducreux and M. Louvel, Dynamic Reconfiguration of Building Automation Systems with LINC, Sensors & Transducers, vol.185, issue.2, p.68, 2015.

H. Iris and F. Pacull, Smart sensors and actuators: A question of discipline, Sensors & Transducers, vol.18, issue.1, p.14, 2013.

M. Vergara-gallego and O. Mokrenko, Implementation of an Energy Management Control Strategy for WSNs using the LINC Middleware, Proceedings of the 2016 International Conference on Embedded Wireless Systems and Networks, pp.53-58, 2016.
URL : https://hal.archives-ouvertes.fr/cea-01480849

M. Louvel, F. Pacull, and M. Vergara-gallego, Reliable control through wireless networks, IECON 2016, 42nd Annual Conference of the IEEE Industrial Electronics Society, pp.4922-4927
DOI : 10.1109/IECON.2016.7793642
URL : https://hal.archives-ouvertes.fr/hal-01311272

N. Carriero and D. Gelernter, Linda in context, Communications of the ACM, vol.32, issue.4, pp.444-458, 1989.
DOI : 10.1145/63334.63337

T. Cooper, Rule-based programming under OPS5, 1988.

P. Bernstein, V. Hadzilacos, and N. Goodman, Concurrency control and recovery in database systems, 1987.

A. Sylla, M. Louvel, and É. Rutten, Combining Transactional and Behavioural Reliability in Adaptive Middleware, Proceedings of the 15th International Workshop on Adaptive and Reflective Middleware, ARM 2016, p.5, 2016.
DOI : 10.1016/j.eswa.2013.01.061
URL : https://hal.archives-ouvertes.fr/hal-01416799

J. Bourcier, A. Diaconescu, P. Lalanda, and J. Mccann, AutoHome, ACM Transactions on Autonomous and Adaptive Systems, vol.6, issue.1, p.8, 2011.
DOI : 10.1145/1921641.1921649
URL : https://hal.archives-ouvertes.fr/inria-00554197

C. Cetina, P. Giner, F. J. Pelechano, and V. , Autonomic Computing through Reuse of Variability Models at Runtime: The Case of Smart Homes, Computer, vol.42, issue.10, 2009.
DOI : 10.1109/MC.2009.309

R. Seiger, S. Huber, P. Heisig, and U. Assmann, Enabling Self-adaptive Workflows for Cyber-physical Systems, International Workshop on Business Process Modeling, pp.3-17, 2016.
DOI : 10.1109/SCC.2011.24

E. Warriach, T. Ozcelebi, and J. Lukkien, Self-* Properties in Smart Environments: Requirements and Performance Metrics, In: Intelligent Environments, vol.2014, pp.194-205

G. Delaval and S. Gueye, Modular coordination of multiple autonomic managers ACM Sigsoft symposium on Component-based software engineering, Proceedings of the 17th int, pp.3-12, 2014.

. Plugwise, Plugwise Circle;. https://www.plugwise.com/circle

. Enocean, EnOcean Switch;. https

A. Sylla, M. Louvel, E. Rutten, and G. Delaval, Design Framework for Reliable Multiple Autonomic Loops in Smart Environments, 2017 International Conference on Cloud and Autonomic Computing (ICCAC)
DOI : 10.1109/ICCAC.2017.20
URL : https://hal.archives-ouvertes.fr/cea-01570026

B. Ur, E. Mcmanus, P. Y. Ho, M. Littman, and M. , Practical trigger-action programming in the smart home, Proceedings of the 32nd annual ACM conference on Human factors in computing systems, CHI '14, pp.803-812, 2014.
DOI : 10.1145/2556288.2557420

T. Pedersen, L. Guilly, and T. , A Method for Model Checking Feature Interactions, Proceedings of the 10th International Conference on Software Engineering and Applications, pp.1-10
DOI : 10.5220/0005516402190228

M. Nakamura, K. Ikegami, and S. Matsumoto, Considering impacts and requirements for better understanding of environment interactions in home network services, Computer Networks, vol.57, issue.12, pp.2442-2453, 2013.
DOI : 10.1016/j.comnet.2013.02.024

R. Seiger, S. Huber, and T. Schlegel, Toward an execution system for self-healing workflows in cyber-physical systems, Software & Systems Modeling, vol.265, issue.3, pp.1-22, 2016.
DOI : 10.1109/SCC.2011.24

C. Shankar, A. Ranganathan, and R. Campbell, An ECA-P policy-based framework for managing ubiquitous computing environments, Mobile and Ubiquitous Systems: Networking and Services, 2005. MobiQuitous 2005. The Second Annual International Conference on. IEEE, pp.33-42, 2005.

D. Preuveneers and Y. Berbers, Consistency in context-aware behavior: a model checking approach, Proceedings of the 8th International Conference on Intelligent Environments, pp.401-412, 2012.

D. Preuveneers and W. Joosen, Semantic analysis and verification of context-driven adaptive applications in intelligent environments, Journal of Reliable Intelligent Environments, vol.23, issue.2, pp.53-73, 2016.
DOI : 10.1016/j.jss.2006.04.004

A. Appendix, Execution rule template of the case study [ Objectname , " S e n s o r s " ] . r d ( i d , i _ p r e s _ i d

. Objectname, S e n s o r s " ] . r d ( i d , i _ t e m p _ i d _ v a l ) & [ Objectname , " S e n s o r s

. Objectname, S e n s o r s " ] . r d ( i d , o _ t e m p _ i d _ v a l ) & [ Objectname , " S e n s o r s

. Objectname, S e n s o r s " ] . r d ( i d , o _ l u m _ i d _ v a l ) & [ Objectname , " S e n s o r s " ] . r d ( i d , o _ n o i s e _ i

. Objectname, r d ( i d , o _ p o l l e n _ i d _ v a l ) & [ Objectname , " S e n s o r s " ] . r d ( i d , c o _ n o i s e _ i