@inproceedings{cano:hal-01091149, TITLE = {{ECA rules for IoT environment: a case study in safe design}}, AUTHOR = {Cano, Julio and Delaval, Gwena{\"e}l and Rutten, Eric and Benazzouz, Yazid and Gurgen, Levent}, URL = {https://inria.hal.science/hal-01091149}, BOOKTITLE = {{First Edition of the Workshop on Quality Assurance for Self-adaptive, Self-organising Systems QA4SASO 2014; In conjunction with the Eighth IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO)}}, ADDRESS = {London, United Kingdom}, YEAR = {2014}, MONTH = Sep, HAL_ID = {hal-01091149}, HAL_VERSION = {v1}, }