@inproceedings{afendi:hal-03916803,
  TITLE = {{Building correct hybrid systems using Event-B and sagemath: Illustration by the hybrid smart heating system case study}},
  AUTHOR = {Afendi, Meryem and Mammar, Amel and Laleau, R{\'e}gine},
  URL = {https://hal-ip-paris.archives-ouvertes.fr/hal-03916803},
  BOOKTITLE = {{2022 26th International Conference on Engineering of Complex Computer Systems (ICECCS)}},
  ADDRESS = {Hiroshima, Japan},
  PUBLISHER = {{IEEE}},
  YEAR = {2022},
  MONTH = Mar,
  DOI = {10.1109/ICECCS54210.2022.00019},
  KEYWORDS = {Heating system ; Actuator ; Buildings ; Ordinary differential equations ; Cyber-physical systems ; Mathematical models ; Sensor systems},
  HAL_ID = {hal-03916803},
  HAL_VERSION = {v1},
}