R. Abid, Asynchronous synthesis techniques for coordinating autonomic managers in the cloud, Science of Computer Programming, vol.146, pp.87-103, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01630717

J. C. Augusto, Enhanced healthcare provision through assisted decision-making in a smart home environment. 2nd Workshop on Artificial Inteligence Techniques for Ambient Inteligence, 2007.

D. Bonino and F. Corno, Rule-based intelligence for domotic environments. Automation in Construction, vol.19, pp.183-196, 2010.

J. Cano, A case study in safe design of ECA rules for IoT

J. Cano, Coordination of ECA Rules by Verification and Control. Coordination Models and, pp.33-48, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01290066

G. Delaval, Contracts for modular discrete controller synthesis, ACM Sigplan Notices, pp.57-66, 2010.
URL : https://hal.archives-ouvertes.fr/inria-00476910

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

J. Eliasson, Towards industrial Internet of Things: An efficient and interoperable communication framework, pp.2198-2204, 2015.

©. Acm, This is the author's version of the work. It is posted here for your personal use. Not for redistribution. The definitive Version of Record, Proceedings of the 33rd Annual ACM Symposium on Applied Computing (SAC '18), 2018.

, , pp.783-790

A. Gamatié, Synchronous Programming: Overview. Designing Embedded Systems with the SIGNAL Programming Language, pp.21-39, 2010.

M. U. Iftikhar and D. Weyns, Activforms: Active formal models for self-adaptation, Proceedings of the 9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, pp.125-134, 2014.

J. O. Kephart and D. M. Chess, The vision of autonomic computing, Computer, vol.36, issue.1, pp.41-50, 2003.

A. Malik, SystemJ: A GALS language for system level design, Systems & Structures, vol.36, issue.4, pp.317-344, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00753512

H. Marchand, Synthesis of Discrete-Event Controllers based on the Signal Environment. Discrete Event Dynamic Systems, vol.10, pp.325-346, 2000.
URL : https://hal.archives-ouvertes.fr/hal-00546147

J. Muttersbach, Practical design of globallyasynchronous locally-synchronous systems, pp.52-59, 2000.

G. Tamura, Improving context-awareness in selfadaptation using the DYNAMICO reference model, Proceedings of the 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, pp.153-162, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00796275

N. M. Villegas, A framework for evaluating quality-driven self-adaptive software systems, Proceedings of the 6th international symposium on Software engineering for adaptive and self-managing systems, pp.80-89, 2011.
URL : https://hal.archives-ouvertes.fr/inria-00578337

N. M. Villegas, DYNAMICO: A reference model for governing control objectives and context relevance in selfadaptive software systems. Software Engineering for SelfAdaptive Systems II, pp.265-293, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00713315

D. Weyns, FORMS: a formal reference model for self-adaptation, p.205, 2010.

B. Yuan and J. Herbert, Context-aware hybrid reasoning framework for pervasive healthcare. Personal and Ubiquitous Computing, vol.18, pp.865-881, 2014.

M. Zhao, Discrete Control for Smart Environments Through a Generic Finite-State-Models-Based Infrastructure. Ambient Intelligence, pp.174-190, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01091140

M. Zhao, Discrete Control for the Internet of Things and Smart Environments, 8th International Workshop on Feedback Computing, 2013.