@inproceedings{m4iot15,
  TITLE = {{Safe Composition in Middleware for the Internet of Things}},
  AUTHOR = {Sarray, Ines and Ressouche, Annie and Gaff{\'e}, Daniel and Tigli, Jean-Yves and Lavirotte, St{\'e}phane},
  URL = {https://hal.inria.fr/hal-01236976},
  BOOKTITLE = {{Middleware for Context-aware Applications for Internet of thing (M4IoT)}},
  ADDRESS = {Vancouver, Canada},
  YEAR = {2015},
  MONTH = Dec,
  DOI = {10.1145/2836127.2836131},
  KEYWORDS = {Middleware ; Composition ; Validation ; Synchronous modeling},
  PDF = {https://hal.inria.fr/hal-01236976/file/M4IOT_Sarray.pdf},
  HAL_ID = {hal-01236976},
  HAL_VERSION = {v1},
}