@inproceedings{cano:hal-01290066,
  TITLE = {{Coordination of ECA Rules by Verification and Control}},
  AUTHOR = {Cano, Julio and Delaval, Gwena{\"e}l and Rutten, Eric},
  URL = {https://inria.hal.science/hal-01290066},
  BOOKTITLE = {{COORDINATION 2014  - 16th International Conference on Coordination Models and Languages}},
  ADDRESS = {Berlin, Germany},
  EDITOR = {David Hutchison and Takeo Kanade and Doug Tygar and Gerhard Weikum and Eva K{\"u}hn and Rosario Pugliese and Josef Kittler and Jon M. Kleinberg and Alfred Kobsa and Friedemann Mattern and John C. Mitchell and Moni Naor and Oscar Nierstrasz and C. Pandu Rangan and Bernhard Steffen and Demetri Terzopoulos},
  PUBLISHER = {{Springer}},
  SERIES = {Coordination Models and Languages},
  VOLUME = {LNCS-8459},
  PAGES = {33-48},
  YEAR = {2014},
  MONTH = Jun,
  DOI = {10.1007/978-3-662-43376-8\_3},
  KEYWORDS = {ECA rules, verification, controller synthesis},
  PDF = {https://inria.hal.science/hal-01290066/file/326181_1_En_3_Chapter.pdf},
  HAL_ID = {hal-01290066},
  HAL_VERSION = {v1},
}