J. Beauvais, E. Rutten, T. Gautier, R. Houdebine, P. L. Guernic et al., Modeling statecharts and activitycharts as signal equations, ACM Transactions on Software Engineering and Methodology, vol.10, issue.4, pp.397-451, 2001.
DOI : 10.1145/384189.384191

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

K. Dittrich, S. Gatziu, and A. Geppert, The active database management system manifesto: A rulebase of ADBMS features, 2nd Workshop on Rules in Databases, pp.1-15, 1995.
DOI : 10.1007/3-540-60365-4_116

A. Ericsson, Enabling Tool Support for Formal Analysis of ECA Rules, 2009.

F. Fleurey and A. Solberg, A Domain Specific Modeling Language Supporting Specification, Simulation and Execution of Dynamic Adaptive Systems, MOD- ELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems, 2009.
DOI : 10.1109/MIC.2007.2

S. Mak-karé-gueye, E. Noël-de-palma, and . Rutten, Coordination control of component-based autonomic administration loops, Proceedings of the 15th International Conference on Coordination Models and Languages, COORDINA- TION, pp.3-6, 2013.

S. Guillet, B. Bouchard, and A. Bouzouane, Correct by Construction Security Approach to Design Fault Tolerant Smart Homes for Disabled People, Procedia Computer Science, vol.21, issue.0, pp.257-264, 2013.
DOI : 10.1016/j.procs.2013.09.034

L. Gürgen, A. Cherbal, R. Sharrock, and S. Honiden, Autonomic Management of Heterogeneous Sensing Devices with ECA Rules, 2011 IEEE International Conference on Communications Workshops (ICC), pp.1-5, 2011.
DOI : 10.1109/iccw.2011.5963605

N. Halbwachs, Synchronous Programming of Reactive Systems, 2010.

J. Keeney and V. Cahill, Chisel: a policy-driven, context-aware, dynamic adaptation framework, Proceedings POLICY 2003. IEEE 4th International Workshop on Policies for Distributed Systems and Networks, pp.3-14, 2003.
DOI : 10.1109/POLICY.2003.1206953

W. Lee, S. Lee, and K. Lee, Conflict Detection and Resolution method in WS-ECA framework, The 9th International Conference on Advanced Communication Technology, pp.786-791, 2007.
DOI : 10.1109/ICACT.2007.358468

H. Marchand, P. Bournai, M. Borgne, and P. Guernic, Synthesis of discrete-event controllers based on the signal environment, Discrete Event Dynamic System: Theory and Applications, pp.1-26, 2000.
URL : https://hal.archives-ouvertes.fr/hal-00546147

A. Paschke, ECA-RuleML: An approach combining ECA rules with temporal interval-based KR event/action logics and transactional update logics, Computer Research Repository, p.61, 2006.

C. Turker and M. Gertz, Semantic Integrity Support in SQL-99 and Commercial Object-Relational Database Management Systems. The International Journal on Very Large Data Bases, pp.241-269, 2001.

J. P. Yoon, Techniques for data and rule validation in knowledge based systems, Proceedings of the Fourth Annual Conference on Computer Assurance, 'Systems Integrity, Software Safety and Process Security, pp.62-70, 1989.
DOI : 10.1109/CMPASS.1989.76042

J. Zhang and B. Cheng, Specifying adaptation semantics, ACM SIGSOFT Software Engineering Notes, pp.1-7, 2005.

J. Zhang and B. Cheng, Model-based development of dynamically adaptive software, Proceeding of the 28th international conference on Software engineering , ICSE '06, 2006.
DOI : 10.1145/1134285.1134337

J. Zhang, J. Moyne, and D. Tilbury, Verification of ECA rule based management and control systems, 2008 IEEE International Conference on Automation Science and Engineering, 2008.
DOI : 10.1109/COASE.2008.4626431

M. Zhao, G. Privat, E. Rutten, and H. Alla, Discrete Control for the Internet of Things and Smart Environments, Int. Workshop on Feedback Computing, 2013.