@article{mammar:hal-03916799,
  TITLE = {{Modeling and proving hybrid programs with event-B: an approach by generalization and instantiation}},
  AUTHOR = {Mammar, Amel and Afendi, Meryem and Laleau, R{\'e}gine},
  URL = {https://hal-ip-paris.archives-ouvertes.fr/hal-03916799},
  JOURNAL = {{Science of Computer Programming}},
  PUBLISHER = {{Elsevier}},
  VOLUME = {222},
  NUMBER = {102856},
  YEAR = {2022},
  MONTH = Oct,
  DOI = {10.1016/j.scico.2022.102856},
  KEYWORDS = {Cyber-physical system ; Hybrid systems ; Refinement ; Differential refinement logic ; Correctness proof},
  HAL_ID = {hal-03916799},
  HAL_VERSION = {v1},
}