@article{teodorov:hal-01373335,
  TITLE = {{Environment-driven reachability for timed systems}},
  AUTHOR = {Teodorov, Ciprian and Dhaussy, Philippe and Roux, Luka Le},
  URL = {https://hal.science/hal-01373335},
  JOURNAL = {{International Journal on Software Tools for Technology Transfer}},
  PUBLISHER = {{Springer Verlag}},
  VOLUME = {19},
  NUMBER = {2},
  PAGES = {229-245},
  YEAR = {2017},
  MONTH = Apr,
  DOI = {10.1007/s10009-015-0401-2},
  KEYWORDS = {Formal verification ; Context-aware verification ; Reachability analysis},
  HAL_ID = {hal-01373335},
  HAL_VERSION = {v1},
}