@inproceedings{MinopoliF16b,
  author    = {Stefano Minopoli and
               Goran Frehse},
  title     = {{SL2SX} Translator: From Simulink to SpaceEx Models (tool paper)},
  booktitle = {Proceedings of the 19th International Conference on Hybrid Systems:
               Computation and Control, {HSCC} 2016, Vienna, Austria, April 12-14,
               2016},
  pages     = {93--98},
  year      = {2016},
}


