@inproceedings{abdelmoula:hal-01069101,
  TITLE = {{AUTSEG: Automatic Test Set Generator for Embedded Reactive Systems}},
  AUTHOR = {Abdelmoula, Mariem and Gaff{\'e}, Daniel and Auguin, Michel},
  URL = {https://hal.archives-ouvertes.fr/hal-01069101},
  BOOKTITLE = {{26th IFIP WG 6.1 International Conference (ICTSS 2014)}},
  ADDRESS = {Madrid, Spain},
  PAGES = {-},
  YEAR = {2014},
  MONTH = Sep,
  HAL_ID = {hal-01069101},
  HAL_VERSION = {v1},
}