@article{iaria16,
  TITLE = {{A Complete Automatic Test Set Generator for Embedded Reactive Systems: From AUTSEG V1 to AUTSEG V2}},
  AUTHOR = {Abdelmoula, Mariem and Gaff{\'e}, Daniel and Auguin, Michel},
  URL = {https://hal.archives-ouvertes.fr/hal-01471270},
  JOURNAL = {{International Journal On Advances in Systems and Measurements}},
  PUBLISHER = {{IARIA}},
  VOLUME = {9},
  NUMBER = {3\&4},
  PAGES = {154-166},
  YEAR = {2016},
  MONTH = Dec,
  HAL_ID = {hal-01564594},
  HAL_VERSION = {v1},
}