@inproceedings{heim:hal-01289454,
  TITLE = {{Model Checking of SCADE Designed Systems}},
  AUTHOR = {Heim, S and Dumas, Xavier and Bonnafous, E and Dhaussy, Philippe and Teodorov, C and Leroux, Lise},
  URL = {https://hal.science/hal-01289454},
  BOOKTITLE = {{8th European Congress on Embedded Real Time Software and Systems (ERTS 2016)}},
  ADDRESS = {TOULOUSE, France},
  YEAR = {2016},
  MONTH = Jan,
  KEYWORDS = {model checking ; formal methods ; CDL ; SCADE ; LUSTRE ; OBP ; synchronous ; asynchronous},
  PDF = {https://hal.science/hal-01289454/file/paper_9.pdf},
  HAL_ID = {hal-01289454},
  HAL_VERSION = {v1},
}